Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 20, 21, 22, 23, 32, 33, 34, 35, 36, 37, 38, 44, 45, 46, 47, 48, 55, 57, 59, 61, 62, 63, 64, 65, 67, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 156, 157, 158, 159, 160, 161, 162, 169, 170, 171, 172, 173, 174, 175, 181, 182, 183, 184, 185, 186, 187, 188, 194, 195, 196, 197, 198, 204, 205, 206, 207, 209, 211, 212, 213, 214, 215, 217, 219, 220, 221, 222, 223, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 261, 262, 263, 264, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 311, 312, 313, 314, 315, 322, 323, 324, 325, 326, 332, 333, 334, 335, 336, 342, 343, 344, 345, 346, 347, 355, 356, 357, 358, 359, 360, 367, 368, 369, 370, 376, 377, 378, 379, 380, 386, 387, 388, 389, 390, 391, 392, 393, 401, 402, 403, 404, 405, 406, 413 }

B grade: { 56, 58, 60, 66, 68, 354, 361, 362, 363, 364, 365, 366, 371, 372, 373, 374, 375, 381, 382, 383, 384, 394, 395 }

C grade: { 15, 16, 17, 18, 19, 24, 25, 26, 27, 28, 29, 30, 31, 39, 40, 41, 42, 43, 49, 50, 51, 52, 53, 54, 151, 152, 153, 154, 155, 163, 164, 166, 167, 168, 176, 177, 178, 179, 180, 189, 190, 191, 192, 193, 199, 200, 202, 203, 224, 259, 260, 265, 266, 310, 316, 317, 318, 319, 320, 321, 327, 328, 329, 330, 331, 337, 338, 339, 340, 341, 348, 349, 350, 351, 352, 353, 385, 396, 397, 398, 399 }

F grade: { 165, 201, 208, 210, 216, 218, 400, 407, 408, 409, 410, 411, 412}

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 20, 21, 22, 23, 24, 25, 26, 32, 33, 34, 35, 36, 37, 38, 44, 45, 46, 47, 48, 49, 57, 59, 61, 62, 63, 64, 67, 69, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 89, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 103, 104, 105, 106, 114, 115, 129, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 171, 172, 173, 174, 175, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 196, 197, 198, 199, 200, 201, 202, 203, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 261, 263, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 297, 298, 299, 300, 332, 333, 335, 336 }

B grade: { 55, 56, 58, 60, 65, 66, 68, 70, 87, 88, 102, 107, 108, 109, 110, 111, 112, 113, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 130, 131, 132, 133, 134, 135, 136, 169, 170, 176, 195, 220, 221, 222, 262, 264, 295, 296, 301, 302, 303, 304, 305, 306, 307, 308, 309, 311, 312, 313, 314, 315, 322, 323, 324, 325, 326, 334, 342, 343, 344, 345, 346, 347, 376, 377, 378, 379, 380, 385 }

C grade: { 15, 16, 17, 18, 19, 27, 28, 29, 30, 31, 39, 40, 41, 42, 43, 50, 51, 52, 53, 54, 259, 260, 265, 266, 310, 316, 317, 318, 319, 320, 321, 327, 328, 329, 330, 331, 337, 338, 339, 340, 341, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 381, 382, 383, 384, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 413 }

F grade: { 90, 91, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 223, 224, 225, 226, 227, 228, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 7, 10, 12, 13, 14, 20, 25, 26, 32, 37, 38, 44, 45, 46, 47, 48, 49, 57, 59, 61, 62, 63, 64, 67, 69, 71, 72, 73, 74, 76, 82, 87, 88, 89, 93, 94, 95, 96, 97, 98, 99, 100, 101, 137, 138, 139, 140, 142, 143, 144, 145, 146, 147, 148, 149, 150, 156, 157, 158, 159, 160, 161, 162, 181, 182, 183, 184, 185, 186, 187, 188, 194, 195, 196, 197, 198, 268, 273, 274, 275, 276, 277, 278, 279

B grade: { 8, 9, 11, 21, 22, 23, 24, 33, 34, 35, 36, 56, 58, 60, 66, 68, 70, 92 }

C grade: { }

F grade: { 15, 16, 17, 18, 19, 27, 28, 29, 30, 31, 39, 40, 41, 42, 43, 50, 51, 52, 53, 54, 55, 65, 75, 77, 78, 79, 80, 81, 83, 84, 85, 86, 90, 91, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 141, 151, 152, 153, 154, 155, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 189, 190, 191, 192, 193, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 269, 270, 271, 272, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 20, 21, 22, 23, 24, 25, 26, 32, 33, 34, 35, 36, 37, 38, 44, 45, 46, 47, 48, 49, 57, 59, 61, 62, 63, 64, 67, 69, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 88, 89, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 156, 157, 158, 159, 160, 161, 162, 169, 170, 171, 172, 173, 174, 175, 181, 182, 183, 184, 185, 186, 187, 188, 194, 195, 198, 229, 230, 231, 232, 233, 234, 235, 244, 245, 246, 247, 248, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 298, 299, 312, 313, 315, 336 }

B grade: { 55, 56, 58, 60, 65, 66, 68, 70, 87, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 196, 197, 220, 221, 222, 237, 238, 239, 240, 241, 242, 243, 252, 253, 254, 255, 256, 305, 306, 332, 333, 334, 335, 343, 344, 345, 346, 347, 357, 362, 363, 364, 365, 366, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 388, 389, 390, 391, 413 }

C grade: { }

F grade: { 15, 16, 17, 18, 19, 27, 28, 29, 30, 31, 39, 40, 41, 42, 43, 50, 51, 52, 53, 54, 90, 91, 151, 152, 153, 154, 155, 163, 164, 165, 166, 167, 168, 176, 177, 178, 179, 180, 189, 190, 191, 192, 193, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 223, 224, 225, 226, 227, 228, 236, 249, 250, 251, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 295, 296, 297, 300, 301, 302, 303, 304, 307, 308, 309, 310, 311, 314, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 337, 338, 339, 340, 341, 342, 348, 349, 350, 351, 352, 353, 354, 355, 356, 358, 359, 360, 361, 367, 368, 369, 370, 371, 372, 373, 386, 387, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 20, 23, 24, 25, 26, 32, 33, 34, 35, 36, 37, 38, 44, 45, 46, 57, 59, 61, 62, 63, 64, 67, 69, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 92, 95, 96, 97, 98, 99, 100, 101, 109, 137, 138, 139, 140, 141, 220, 221, 222, 273, 274, 275, 276, 277, 278, 279, 281, 282, 284, 285, 288, 289, 290, 291, 292, 293 }

B grade: { 21, 22, 47, 48, 49, 56, 58, 60, 66, 68, 70, 102, 103, 104, 105, 106, 107, 108, 110, 111, 112, 113, 114, 115, 118, 119, 120, 121, 126, 127, 128, 129, 232, 280, 283, 286, 287, 294 }

C grade: { 15, 16, 17, 18, 19, 27, 28, 29, 30, 31, 39, 40, 41, 42, 43, 50, 51, 52, 53, 54 }

F grade: { 55, 65, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 93, 94, 116, 117, 122, 123, 124, 125, 130, 131, 132, 133, 134, 135, 136, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 223, 224, 225, 226, 227, 228, 229, 230, 231, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 20, 21, 22, 32, 33, 34, 35, 37, 38, 44, 45, 46, 47, 48, 57, 59, 61, 62, 63, 64, 67, 69, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 112, 113, 114, 115, 116, 117, 124, 125, 127, 128, 129, 130, 131, 137, 138, 139, 140, 141, 142, 143, 144, 156, 157, 158, 169, 170, 171, 181, 182, 183, 184, 194, 195, 196, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 334, 361, 362, 371, 372, 373, 386, 387, 388, 394, 413 }

B grade: { 55, 56, 58, 60, 65, 66, 68, 70, 87, 88, 89, 92, 93, 94, 126, 220, 221, 222, 343, 344, 345, 385 }

C grade: { 109, 110 }

F grade: { 11, 12, 13, 15, 16, 17, 18, 19, 23, 24, 25, 26, 27, 28, 29, 30, 31, 36, 39, 40, 41, 42, 43, 49, 50, 51, 52, 53, 54, 81, 82, 83, 84, 85, 86, 90, 91, 107, 108, 111, 118, 119, 120, 121, 122, 123, 132, 133, 134, 135, 136, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 172, 173, 174, 175, 176, 177, 178, 179, 180, 185, 186, 187, 188, 189, 190, 191, 192, 193, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 223, 224, 225, 226, 227, 228, 259, 260, 261, 262, 263, 264, 265, 266, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 335, 336, 337, 338, 339, 340, 341, 342, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 363, 364, 365, 366, 367, 368, 369, 370, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 389, 390, 391, 392, 393, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)










Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 149 126 169 306 151 177
normalized size 1 1. 1. 0.85 1.13 2.05 1.01 1.19
time (sec) N/A 0.22 0.005 0.01 0.966 1.715 0.085 1.123


















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 149 126 169 315 155 177
normalized size 1 1. 1. 0.85 1.13 2.11 1.04 1.19
time (sec) N/A 0.098 0.004 0.001 0.953 1.277 0.086 1.163


















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 146 125 167 300 150 176
normalized size 1 1. 1.64 1.4 1.88 3.37 1.69 1.98
time (sec) N/A 0.077 0.004 0.001 0.971 1.216 0.083 1.16


















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 141 122 163 298 148 171
normalized size 1 1. 1. 0.87 1.16 2.11 1.05 1.21
time (sec) N/A 0.082 0.004 0.003 0.942 1.509 0.083 1.125


















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 142 142 123 169 298 150 177
normalized size 1 1. 1. 0.87 1.19 2.1 1.06 1.25
time (sec) N/A 0.111 0.008 0.015 0.955 1.722 0.416 1.129


















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 139 122 163 373 143 171
normalized size 1 1. 1. 0.88 1.17 2.68 1.03 1.23
time (sec) N/A 0.082 0.008 0.016 0.939 1.666 0.405 1.141


















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 142 142 123 169 336 150 192
normalized size 1 1. 1. 0.87 1.19 2.37 1.06 1.35
time (sec) N/A 0.121 0.008 0.006 0.952 1.68 0.436 1.145


















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 50 53 138 128 97 70
normalized size 1 1. 0.75 0.79 2.06 1.91 1.45 1.04
time (sec) N/A 0.05 0.034 0.04 1.434 1.607 5.557 1.159


















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 44 46 126 116 70 62
normalized size 1 1. 0.86 0.9 2.47 2.27 1.37 1.22
time (sec) N/A 0.031 0.029 0.004 1.447 1.558 4.081 1.149


















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 36 34 90 90 53 50
normalized size 1 1. 0.82 0.77 2.05 2.05 1.2 1.14
time (sec) N/A 0.021 0.032 0.01 1.435 1.512 2.775 1.126


















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 57 49 134 149 83 0
normalized size 1 1. 0.98 0.84 2.31 2.57 1.43 0.
time (sec) N/A 0.055 0.043 0.014 1.446 1.582 12.312 0.


















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 59 61 119 177 83 0
normalized size 1 1. 1. 1.03 2.02 3. 1.41 0.
time (sec) N/A 0.056 0.048 0.012 1.454 1.573 6.003 0.


















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 59 75 123 181 76 0
normalized size 1 1. 0.94 1.19 1.95 2.87 1.21 0.
time (sec) N/A 0.055 0.077 0.011 1.441 1.54 5.125 0.


















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 72 52 80 146 63 84
normalized size 1 1. 1.24 0.9 1.38 2.52 1.09 1.45
time (sec) N/A 0.047 0.04 0.01 1.423 1.523 5.271 1.139


















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 208 208 82 192 0 0 78 0
normalized size 1 1. 0.39 0.92 0. 0. 0.38 0.
time (sec) N/A 0.124 0.039 0.083 0. 0. 2.025 0.


















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 192 192 68 180 0 0 78 0
normalized size 1 1. 0.35 0.94 0. 0. 0.41 0.
time (sec) N/A 0.097 0.029 0.013 0. 0. 1.833 0.


















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 176 176 48 168 0 0 76 0
normalized size 1 1. 0.27 0.95 0. 0. 0.43 0.
time (sec) N/A 0.064 0.011 0.011 0. 0. 1.733 0.


















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 171 171 53 167 0 0 78 0
normalized size 1 1. 0.31 0.98 0. 0. 0.46 0.
time (sec) N/A 0.067 0.023 0.016 0. 0. 1.833 0.


















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 192 192 54 170 0 0 83 0
normalized size 1 1. 0.28 0.89 0. 0. 0.43 0.
time (sec) N/A 0.089 0.024 0.016 0. 0. 1.994 0.


















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 72 73 171 166 131 88
normalized size 1 1. 0.87 0.88 2.06 2. 1.58 1.06
time (sec) N/A 0.059 0.054 0.024 1.423 1.534 13.573 1.147


















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 54 58 159 150 124 80
normalized size 1 1. 0.81 0.87 2.37 2.24 1.85 1.19
time (sec) N/A 0.04 0.041 0.006 1.418 1.595 10.509 1.158


















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 56 46 128 131 109 70
normalized size 1 1. 0.93 0.77 2.13 2.18 1.82 1.17
time (sec) N/A 0.03 0.032 0.012 1.421 1.536 7.254 1.115


















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 67 75 186 185 114 0
normalized size 1 1. 0.86 0.96 2.38 2.37 1.46 0.
time (sec) N/A 0.075 0.045 0.016 1.437 1.547 25.638 0.


















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A B A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 71 75 165 200 114 0
normalized size 1 1. 0.88 0.93 2.04 2.47 1.41 0.
time (sec) N/A 0.075 0.057 0.017 1.426 1.542 9.079 0.


















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 60 73 166 204 133 0
normalized size 1 1. 0.7 0.85 1.93 2.37 1.55 0.
time (sec) N/A 0.077 0.032 0.017 1.428 1.559 10.516 0.


















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 60 73 151 209 148 0
normalized size 1 1. 0.73 0.89 1.84 2.55 1.8 0.
time (sec) N/A 0.075 0.031 0.019 1.419 1.656 10.767 0.


















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 235 235 74 216 0 0 160 0
normalized size 1 1. 0.31 0.92 0. 0. 0.68 0.
time (sec) N/A 0.134 0.046 0.023 0. 0. 4.019 0.


















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 219 219 68 204 0 0 160 0
normalized size 1 1. 0.31 0.93 0. 0. 0.73 0.
time (sec) N/A 0.12 0.031 0.011 0. 0. 3.306 0.


















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 197 197 49 192 0 0 158 0
normalized size 1 1. 0.25 0.97 0. 0. 0.8 0.
time (sec) N/A 0.082 0.013 0.013 0. 0. 2.929 0.


















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 199 199 53 192 0 0 160 0
normalized size 1 1. 0.27 0.96 0. 0. 0.8 0.
time (sec) N/A 0.088 0.028 0.015 0. 0. 3.373 0.


















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 201 201 54 192 0 0 163 0
normalized size 1 1. 0.27 0.96 0. 0. 0.81 0.
time (sec) N/A 0.086 0.027 0.016 0. 0. 3.777 0.


















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 44 51 140 120 85 62
normalized size 1 1. 0.66 0.76 2.09 1.79 1.27 0.93
time (sec) N/A 0.058 0.035 0.017 1.457 1.543 6.513 1.136


















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 35 39 103 92 66 50
normalized size 1 1. 0.69 0.76 2.02 1.8 1.29 0.98
time (sec) N/A 0.042 0.023 0.011 1.464 1.513 4.787 1.12


















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 34 32 88 86 53 45
normalized size 1 1. 0.97 0.91 2.51 2.46 1.51 1.29
time (sec) N/A 0.026 0.02 0.006 1.422 1.525 3.522 1.136


















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 20 57 63 22 35
normalized size 1 1. 1. 0.83 2.38 2.62 0.92 1.46
time (sec) N/A 0.017 0.025 0.009 1.444 1.505 1.718 1.128


















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 38 30 90 109 31 0
normalized size 1 1. 1. 0.79 2.37 2.87 0.82 0.
time (sec) N/A 0.038 0.022 0.009 1.434 1.526 4.893 0.


















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 42 31 63 119 31 65
normalized size 1 1. 1. 0.74 1.5 2.83 0.74 1.55
time (sec) N/A 0.037 0.025 0.01 1.429 1.55 3.04 1.184


















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 49 43 80 132 88 72
normalized size 1 1. 0.84 0.74 1.38 2.28 1.52 1.24
time (sec) N/A 0.051 0.03 0.013 1.429 1.543 7.571 1.172


















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 185 185 74 168 0 0 75 0
normalized size 1 1. 0.4 0.91 0. 0. 0.41 0.
time (sec) N/A 0.085 0.033 0.017 0. 0. 2.105 0.


















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 66 155 0 0 75 0
normalized size 1 1. 0.4 0.93 0. 0. 0.45 0.
time (sec) N/A 0.066 0.025 0.013 0. 0. 1.91 0.


















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 155 155 48 146 0 0 73 0
normalized size 1 1. 0.31 0.94 0. 0. 0.47 0.
time (sec) N/A 0.046 0.014 0.009 0. 0. 1.403 0.


















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 173 173 53 158 0 0 75 0
normalized size 1 1. 0.31 0.91 0. 0. 0.43 0.
time (sec) N/A 0.062 0.027 0.015 0. 0. 1.547 0.


















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 189 189 54 170 0 0 80 0
normalized size 1 1. 0.29 0.9 0. 0. 0.42 0.
time (sec) N/A 0.086 0.026 0.017 0. 0. 1.897 0.


















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 51 50 120 158 66 61
normalized size 1 1. 0.88 0.86 2.07 2.72 1.14 1.05
time (sec) N/A 0.046 0.029 0.017 1.416 1.509 12.297 1.135


















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 46 37 85 143 48 53
normalized size 1 1. 1.02 0.82 1.89 3.18 1.07 1.18
time (sec) N/A 0.039 0.024 0.013 1.42 1.496 10.265 1.168


















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 41 34 73 131 39 45
normalized size 1 1. 1.17 0.97 2.09 3.74 1.11 1.29
time (sec) N/A 0.027 0.019 0.007 1.42 1.518 7.086 1.18


















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 17 30 78 31 22
normalized size 1 1. 1. 0.85 1.5 3.9 1.55 1.1
time (sec) N/A 0.016 0.01 0.005 1.411 1.509 4.292 1.13


















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 46 40 76 159 212 72
normalized size 1 1. 1. 0.87 1.65 3.46 4.61 1.57
time (sec) N/A 0.043 0.039 0.016 1.427 1.496 11.613 1.16


















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 45 47 92 186 228 0
normalized size 1 1. 0.69 0.72 1.42 2.86 3.51 0.
time (sec) N/A 0.055 0.028 0.013 1.426 1.533 10.205 0.


















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 196 196 70 168 0 0 75 0
normalized size 1 1. 0.36 0.86 0. 0. 0.38 0.
time (sec) N/A 0.085 0.046 0.02 0. 0. 4.757 0.


















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 177 177 68 168 0 0 75 0
normalized size 1 1. 0.38 0.95 0. 0. 0.42 0.
time (sec) N/A 0.069 0.032 0.013 0. 0. 4.286 0.


















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 180 180 66 168 0 0 73 0
normalized size 1 1. 0.37 0.93 0. 0. 0.41 0.
time (sec) N/A 0.061 0.026 0.013 0. 0. 4.256 0.


















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 196 196 71 180 0 0 75 0
normalized size 1 1. 0.36 0.92 0. 0. 0.38 0.
time (sec) N/A 0.082 0.065 0.018 0. 0. 6.071 0.


















Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 214 214 54 192 0 0 80 0
normalized size 1 1. 0.25 0.9 0. 0. 0.37 0.
time (sec) N/A 0.108 0.029 0.019 0. 0. 8.123 0.


















Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 269 269 189 2295 0 5265 0 5065
normalized size 1 1. 0.7 8.53 0. 19.57 0. 18.83
time (sec) N/A 0.161 0.171 0.019 0. 1.771 0. 1.308


















Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 153 130 174 390 134 193
normalized size 1 1. 2.43 2.06 2.76 6.19 2.13 3.06
time (sec) N/A 0.197 0.024 0.002 0.941 1.28 0.098 1.116


















Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 153 153 130 174 420 141 194
normalized size 1 1. 1. 0.85 1.14 2.75 0.92 1.27
time (sec) N/A 0.117 0.025 0.001 0.979 1.263 0.097 1.103


















Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 151 130 174 387 136 194
normalized size 1 1. 3.36 2.89 3.87 8.6 3.02 4.31
time (sec) N/A 0.123 0.021 0. 0.984 1.244 0.096 1.111


















Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 153 153 130 174 414 139 194
normalized size 1 1. 1. 0.85 1.14 2.71 0.91 1.27
time (sec) N/A 0.085 0.021 0. 0.966 1.272 0.098 1.123


















Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 149 130 174 381 133 194
normalized size 1 1. 5.14 4.48 6. 13.14 4.59 6.69
time (sec) N/A 0.049 0.014 0.002 0.973 1.233 0.094 1.13


















Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 143 127 169 397 134 190
normalized size 1 1. 1. 0.89 1.18 2.78 0.94 1.33
time (sec) N/A 0.074 0.018 0.001 0.965 1.271 0.097 1.105


















Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 149 132 176 344 131 196
normalized size 1 1. 1.6 1.42 1.89 3.7 1.41 2.11
time (sec) N/A 0.055 0.028 0.003 0.956 1.427 0.321 1.114


















Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 141 129 169 401 124 188
normalized size 1 1. 1. 0.91 1.2 2.84 0.88 1.33
time (sec) N/A 0.082 0.028 0.004 0.938 1.422 0.474 1.122


















Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 147 131 176 378 131 211
normalized size 1 1. 1. 0.89 1.2 2.57 0.89 1.44
time (sec) N/A 0.136 0.04 0.006 0.946 1.434 0.534 1.11


















Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 203 203 122 1121 0 3202 0 2495
normalized size 1 1. 0.6 5.52 0. 15.77 0. 12.29
time (sec) N/A 0.073 0.052 0.01 0. 1.631 0. 1.226


















Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 85 62 82 194 76 82
normalized size 1 1. 2.5 1.82 2.41 5.71 2.24 2.41
time (sec) N/A 0.047 0.002 0.001 0.953 1.252 0.068 1.117


















Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 83 62 82 197 75 82
normalized size 1 1. 1. 0.75 0.99 2.37 0.9 0.99
time (sec) N/A 0.031 0.002 0.001 0.964 1.255 0.07 1.109


















Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 83 62 82 186 75 82
normalized size 1 1. 3.61 2.7 3.57 8.09 3.26 3.57
time (sec) N/A 0.022 0.002 0.002 0.941 1.255 0.072 1.112


















Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 83 62 82 196 75 82
normalized size 1 1. 1. 0.75 0.99 2.36 0.9 0.99
time (sec) N/A 0.027 0.002 0.001 0.969 1.244 0.068 1.132


















Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 11 11 11 62 82 182 71 82
normalized size 1 1. 1. 5.64 7.45 16.55 6.45 7.45
time (sec) N/A 0.002 0.002 0.001 0.982 1.465 0.068 1.111


















Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 73 58 77 180 68 77
normalized size 1 1. 1. 0.79 1.05 2.47 0.93 1.05
time (sec) N/A 0.022 0.001 0.001 0.966 1.522 0.072 1.117


















Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 80 59 84 193 75 84
normalized size 1 1. 1. 0.74 1.05 2.41 0.94 1.05
time (sec) N/A 0.033 0.003 0.001 0.974 1.667 0.104 1.108


















Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 73 60 80 232 66 80
normalized size 1 1. 1. 0.82 1.1 3.18 0.9 1.1
time (sec) N/A 0.025 0.003 0.005 0.927 1.395 0.101 1.119


















Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 80 61 84 227 75 93
normalized size 1 1. 1. 0.76 1.05 2.84 0.94 1.16
time (sec) N/A 0.04 0.003 0.007 0.964 1.462 0.117 1.119


















Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 80 90 0 277 90 136
normalized size 1 1. 0.55 0.62 0. 1.91 0.62 0.94
time (sec) N/A 0.09 0.049 0.046 0. 1.557 0.511 1.105


















Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 51 55 92 65 27 57
normalized size 1 1. 0.61 0.66 1.11 0.78 0.33 0.69
time (sec) N/A 0.072 0.021 0.007 0.993 1.522 0.432 1.136


















Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 69 62 0 223 82 80
normalized size 1 1. 0.71 0.64 0. 2.3 0.85 0.82
time (sec) N/A 0.047 0.029 0.008 0. 1.512 0.466 1.131


















Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 54 57 0 74 26 82
normalized size 1 1. 0.59 0.62 0. 0.8 0.28 0.89
time (sec) N/A 0.072 0.021 0.01 0. 1.498 0.732 1.116


















Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 72 67 0 230 82 84
normalized size 1 1. 0.71 0.66 0. 2.28 0.81 0.83
time (sec) N/A 0.063 0.031 0.01 0. 1.574 0.515 1.119


















Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 70 79 0 109 41 177
normalized size 1 1. 0.51 0.58 0. 0.8 0.3 1.29
time (sec) N/A 0.098 0.033 0.014 0. 1.536 0.879 1.139


















Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 153 108 188 0 621 0 0
normalized size 1 1. 0.71 1.23 0. 4.06 0. 0.
time (sec) N/A 0.119 0.063 0.016 0. 1.566 0. 0.


















Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 45 38 96 86 0 0
normalized size 1 1. 0.58 0.49 1.25 1.12 0. 0.
time (sec) N/A 0.066 0.02 0.009 0.985 1.492 0. 0.


















Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 156 156 108 186 0 621 0 0
normalized size 1 1. 0.69 1.19 0. 3.98 0. 0.
time (sec) N/A 0.089 0.053 0.016 0. 1.521 0. 0.


















Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 161 92 133 0 250 0 0
normalized size 1 1. 0.57 0.83 0. 1.55 0. 0.
time (sec) N/A 0.118 0.043 0.021 0. 1.563 0. 0.


















Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 190 190 124 206 0 686 0 0
normalized size 1 1. 0.65 1.08 0. 3.61 0. 0.
time (sec) N/A 0.185 0.068 0.019 0. 1.596 0. 0.


















Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 223 223 130 249 0 413 0 0
normalized size 1 1. 0.58 1.12 0. 1.85 0. 0.
time (sec) N/A 0.184 0.073 0.021 0. 1.566 0. 0.


















Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 400 400 160 1099 663 2005 0 2988
normalized size 1 1. 0.4 2.75 1.66 5.01 0. 7.47
time (sec) N/A 0.243 0.233 0.009 1.04 1.636 0. 1.284


















Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 276 276 112 495 328 871 0 1368
normalized size 1 1. 0.41 1.79 1.19 3.16 0. 4.96
time (sec) N/A 0.153 0.128 0.009 0.998 1.611 0. 1.179


















Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 153 86 131 101 216 0 363
normalized size 1 1. 0.56 0.86 0.66 1.41 0. 2.37
time (sec) N/A 0.076 0.053 0.004 1.015 1.587 0. 1.165


















Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 134 134 78 0 0 0 0 0
normalized size 1 1. 0.58 0. 0. 0. 0. 0.
time (sec) N/A 0.088 0.073 0.059 0. 0. 0. 0.


















Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 101 0 0 0 0 0
normalized size 1 1. 0.66 0. 0. 0. 0. 0.
time (sec) N/A 0.119 0.084 0.028 0. 0. 0. 0.


















Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 25 40 116 99 165 119
normalized size 1 1. 0.74 1.18 3.41 2.91 4.85 3.5
time (sec) N/A 0.029 0.009 0.003 0.994 1.608 11.997 1.123


















Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 45 62 182 185 0 265
normalized size 1 1. 0.52 0.72 2.12 2.15 0. 3.08
time (sec) N/A 0.089 0.025 0.005 1.012 1.559 0. 1.142


















Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 68 99 265 284 0 447
normalized size 1 1. 0.53 0.77 2.07 2.22 0. 3.49
time (sec) N/A 0.129 0.037 0.006 1.018 1.567 0. 1.131


















Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 166 226 224 501 202 261
normalized size 1 1. 1. 1.36 1.35 3.02 1.22 1.57
time (sec) N/A 0.393 0.051 0.001 1.003 1.214 0.098 1.143


















Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 166 226 224 494 204 261
normalized size 1 1. 1. 1.36 1.35 2.98 1.23 1.57
time (sec) N/A 0.154 0.057 0. 0.988 1.26 0.098 1.151


















Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 154 226 224 490 199 261
normalized size 1 1. 0.93 1.36 1.35 2.95 1.2 1.57
time (sec) N/A 0.287 0.062 0.001 1.093 1.271 0.1 1.111


















Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 161 161 223 220 471 199 255
normalized size 1 1. 1. 1.39 1.37 2.93 1.24 1.58
time (sec) N/A 0.118 0.05 0.001 1.124 1.234 0.102 1.108


















Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 162 162 162 191 225 381 199 261
normalized size 1 1. 1. 1.18 1.39 2.35 1.23 1.61
time (sec) N/A 0.227 0.062 0.003 0.989 1.453 0.481 1.104


















Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 156 156 156 186 219 404 185 250
normalized size 1 1. 1. 1.19 1.4 2.59 1.19 1.6
time (sec) N/A 0.108 0.094 0.005 0.987 1.481 0.479 1.136


















Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 162 162 162 190 225 390 197 286
normalized size 1 1. 1. 1.17 1.39 2.41 1.22 1.77
time (sec) N/A 0.226 0.075 0.008 0.979 1.461 0.574 1.119


















Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 133 126 261 0 896 619 170
normalized size 1 1. 0.95 1.96 0. 6.74 4.65 1.28
time (sec) N/A 0.207 0.061 0.005 0. 1.697 8.129 1.211


















Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 93 175 0 670 434 123
normalized size 1 1. 0.96 1.8 0. 6.91 4.47 1.27
time (sec) N/A 0.116 0.068 0.001 0. 1.621 4.978 1.178


















Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 71 98 0 487 287 90
normalized size 1 1. 1. 1.38 0. 6.86 4.04 1.27
time (sec) N/A 0.07 0.052 0.003 0. 1.539 2.512 1.185


















Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 128 105 0 567 330 105
normalized size 1 1. 1.64 1.35 0. 7.27 4.23 1.35
time (sec) N/A 0.139 0.108 0.005 0. 1.74 53.625 1.195


















Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 186 191 0 834 495 167
normalized size 1 1. 1.66 1.71 0. 7.45 4.42 1.49
time (sec) N/A 0.245 0.227 0.01 0. 2.702 170.625 1.167


















Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B B F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 261 261 327 825 0 10329 709 0
normalized size 1 1. 1.25 3.16 0. 39.57 2.72 0.
time (sec) N/A 1.489 0.414 0.046 0. 9.021 32.406 0.


















Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B B F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 208 208 251 560 0 5264 428 0
normalized size 1 1. 1.21 2.69 0. 25.31 2.06 0.
time (sec) N/A 0.528 0.168 0.023 0. 2.964 11.205 0.


















Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B A C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 172 172 173 328 0 3077 314 6435
normalized size 1 1. 1.01 1.91 0. 17.89 1.83 37.41
time (sec) N/A 0.201 0.098 0.018 0. 2.24 4.975 2.432


















Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B B C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 189 189 206 353 0 5806 490 5257
normalized size 1 1. 1.09 1.87 0. 30.72 2.59 27.81
time (sec) N/A 0.4 0.289 0.021 0. 3.562 12.052 2.548


















Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B B F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 271 271 267 611 0 10842 774 0
normalized size 1 1. 0.99 2.25 0. 40.01 2.86 0.
time (sec) N/A 0.653 0.329 0.025 0. 10.184 34.436 0.


















Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 208 689 0 2789 1266 323
normalized size 1 1. 0.98 3.25 0. 13.16 5.97 1.52
time (sec) N/A 0.381 0.313 0.017 0. 2.241 37.16 19.541


















Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 160 286 0 1804 916 262
normalized size 1 1. 1.09 1.95 0. 12.27 6.23 1.78
time (sec) N/A 0.175 0.206 0.013 0. 1.84 18.004 19.928


















Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 111 158 0 1131 394 162
normalized size 1 1. 1.04 1.48 0. 10.57 3.68 1.51
time (sec) N/A 0.113 0.087 0.01 0. 1.529 6.086 19.652


















Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 101 127 0 1026 374 138
normalized size 1 1. 1.07 1.35 0. 10.91 3.98 1.47
time (sec) N/A 0.088 0.084 0.006 0. 1.604 3.877 20.241


















Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 150 150 243 361 0 2160 0 271
normalized size 1 1. 1.62 2.41 0. 14.4 0. 1.81
time (sec) N/A 0.331 0.351 0.017 0. 5.758 0. 19.867


















Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 223 223 379 622 0 3426 0 338
normalized size 1 1. 1.7 2.79 0. 15.36 0. 1.52
time (sec) N/A 0.419 0.551 0.023 0. 11.263 0. 19.689


















Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-1) B B F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 425 425 455 1507 0 15583 1448 0
normalized size 1 1. 1.07 3.55 0. 36.67 3.41 0.
time (sec) N/A 3.675 1.311 0.04 0. 24.211 168.3 0.


















Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B B F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 336 336 362 1030 0 9642 1129 0
normalized size 1 1. 1.08 3.07 0. 28.7 3.36 0.
time (sec) N/A 1.717 0.939 0.033 0. 8.306 68.212 0.


















Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B B F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 276 276 298 733 0 7073 923 0
normalized size 1 1. 1.08 2.66 0. 25.63 3.34 0.
time (sec) N/A 0.553 0.707 0.03 0. 4.665 31.822 0.


















Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B B F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 293 293 304 1761 0 10055 1180 0
normalized size 1 1. 1.04 6.01 0. 34.32 4.03 0.
time (sec) N/A 0.846 0.844 0.084 0. 11.507 61.45 0.


















Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-1) B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 389 389 382 1252 0 16292 0 0
normalized size 1 1. 0.98 3.22 0. 41.88 0. 0.
time (sec) N/A 1.22 1.177 0.039 0. 25.883 0. 0.


















Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-1) B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 522 522 487 1653 0 23162 0 0
normalized size 1 1. 0.93 3.17 0. 44.37 0. 0.
time (sec) N/A 1.365 1.32 0.046 0. 54.506 0. 0.


















Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 365 365 435 2054 0 6745 0 807
normalized size 1 1. 1.19 5.63 0. 18.48 0. 2.21
time (sec) N/A 1.455 0.758 0.026 0. 3.347 0. 38.279


















Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 254 254 354 723 0 4617 0 629
normalized size 1 1. 1.39 2.85 0. 18.18 0. 2.48
time (sec) N/A 0.404 0.526 0.02 0. 2.041 0. 39.023


















Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 146 146 261 398 0 2839 775 429
normalized size 1 1. 1.79 2.73 0. 19.45 5.31 2.94
time (sec) N/A 0.139 0.294 0.017 0. 1.457 149.303 35.484


















Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 185 185 233 411 0 2824 833 362
normalized size 1 1. 1.26 2.22 0. 15.26 4.5 1.96
time (sec) N/A 0.262 0.271 0.014 0. 1.46 63.236 31.829


















Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 170 170 172 379 0 2595 789 308
normalized size 1 1. 1.01 2.23 0. 15.26 4.64 1.81
time (sec) N/A 0.163 0.237 0.013 0. 1.576 27.452 27.678


















Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 142 262 0 2367 661 281
normalized size 1 1. 1.02 1.88 0. 17.03 4.76 2.02
time (sec) N/A 0.124 0.142 0.009 0. 1.41 15.486 26.209


















Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 252 252 396 1161 0 5311 0 568
normalized size 1 1. 1.57 4.61 0. 21.08 0. 2.25
time (sec) N/A 0.543 0.677 0.025 0. 15.524 0. 26.115


















Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 363 363 642 1862 0 8294 0 875
normalized size 1 1. 1.77 5.13 0. 22.85 0. 2.41
time (sec) N/A 0.771 1.5 0.033 0. 34.522 0. 27.415


















Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 554 554 644 2015 0 21535 0 0
normalized size 1 1. 1.16 3.64 0. 38.87 0. 0.
time (sec) N/A 11.195 2.569 0.051 0. 49.246 0. 0.


















Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-1) B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 461 461 543 1631 0 15486 0 0
normalized size 1 1. 1.18 3.54 0. 33.59 0. 0.
time (sec) N/A 4.622 2.214 0.045 0. 19.85 0. 0.


















Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 380 380 447 1283 0 11958 0 0
normalized size 1 1. 1.18 3.38 0. 31.47 0. 0.
time (sec) N/A 1.415 1.839 0.043 0. 14.693 0. 0.


















Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-1) B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 438 438 436 1335 0 15784 0 0
normalized size 1 1. 1. 3.05 0. 36.04 0. 0.
time (sec) N/A 1.09 1.666 0.043 0. 26.788 0. 0.


















Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 460 460 516 11936 0 22209 0 0
normalized size 1 1. 1.12 25.95 0. 48.28 0. 0.
time (sec) N/A 1.353 2.402 0.194 0. 67.186 0. 0.


















Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 18 23 50 17 26
normalized size 1 1. 1. 0.72 0.92 2. 0.68 1.04
time (sec) N/A 0.018 0.006 0.006 0.953 1.634 0.115 1.087


















Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 18 34 50 17 26
normalized size 1 1. 1. 0.72 1.36 2. 0.68 1.04
time (sec) N/A 0.029 0.005 0.005 0.946 1.479 0.11 1.082


















Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 37 31 41 95 37 41
normalized size 1 1. 1. 0.84 1.11 2.57 1. 1.11
time (sec) N/A 0.035 0.011 0.005 1.459 1.489 0.116 1.092


















Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 37 31 72 95 37 41
normalized size 1 1. 1. 0.84 1.95 2.57 1. 1.11
time (sec) N/A 0.042 0.006 0.002 1.48 1.52 0.114 1.091


















Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 45 41 0 132 44 51
normalized size 1 1. 1. 0.91 0. 2.93 0.98 1.13
time (sec) N/A 0.049 0.025 0.006 0. 1.48 0.153 1.13


















Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 71 91 140 185 0 90
normalized size 1 1. 0.7 0.89 1.37 1.81 0. 0.88
time (sec) N/A 0.079 0.031 0.023 0.983 1.596 0. 1.115


















Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 66 74 117 161 0 81
normalized size 1 1. 0.81 0.91 1.44 1.99 0. 1.
time (sec) N/A 0.056 0.021 0.014 0.978 1.639 0. 1.084


















Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 61 57 95 136 0 72
normalized size 1 1. 0.82 0.77 1.28 1.84 0. 0.97
time (sec) N/A 0.044 0.017 0.012 1.227 1.7 0. 1.116


















Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 92 85 120 254 0 0
normalized size 1 1. 0.98 0.9 1.28 2.7 0. 0.
time (sec) N/A 0.083 0.038 0.011 1.439 1.567 0. 0.


















Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 97 104 120 292 0 0
normalized size 1 1. 1. 1.07 1.24 3.01 0. 0.
time (sec) N/A 0.083 0.04 0.014 1.467 1.53 0. 0.


















Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 97 121 143 293 0 0
normalized size 1 1. 0.98 1.22 1.44 2.96 0. 0.
time (sec) N/A 0.083 0.04 0.014 1.474 1.64 0. 0.


















Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 74 118 134 234 0 0
normalized size 1 1. 0.82 1.31 1.49 2.6 0. 0.
time (sec) N/A 0.068 0.026 0.013 1.431 1.391 0. 0.


















Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 111 111 82 135 157 261 0 0
normalized size 1 1. 0.74 1.22 1.41 2.35 0. 0.
time (sec) N/A 0.086 0.028 0.016 1.464 1.412 0. 0.


















Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 84 152 180 292 0 0
normalized size 1 1. 0.64 1.15 1.36 2.21 0. 0.
time (sec) N/A 0.109 0.037 0.018 1.504 1.331 0. 0.


















Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 322 322 237 260 0 0 0 0
normalized size 1 1. 0.74 0.81 0. 0. 0. 0.
time (sec) N/A 0.274 0.325 0.098 0. 0. 0. 0.


















Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 305 305 234 243 0 0 0 0
normalized size 1 1. 0.77 0.8 0. 0. 0. 0.
time (sec) N/A 0.203 0.287 0.013 0. 0. 0. 0.


















Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 279 279 229 226 0 0 0 0
normalized size 1 1. 0.82 0.81 0. 0. 0. 0.
time (sec) N/A 0.122 0.291 0.012 0. 0. 0. 0.


















Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 284 284 231 225 0 0 0 0
normalized size 1 1. 0.81 0.79 0. 0. 0. 0.
time (sec) N/A 0.128 0.304 0.018 0. 0. 0. 0.


















Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 305 305 237 228 0 0 0 0
normalized size 1 1. 0.78 0.75 0. 0. 0. 0.
time (sec) N/A 0.158 0.313 0.017 0. 0. 0. 0.


















Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 127 81 138 182 240 0 109
normalized size 1 1. 0.64 1.09 1.43 1.89 0. 0.86
time (sec) N/A 0.096 0.038 0.034 1.058 1.205 0. 1.125


















Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 106 106 76 121 159 204 0 100
normalized size 1 1. 0.72 1.14 1.5 1.92 0. 0.94
time (sec) N/A 0.072 0.031 0.016 0.971 1.32 0. 1.094


















Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 71 104 136 180 0 90
normalized size 1 1. 0.72 1.05 1.37 1.82 0. 0.91
time (sec) N/A 0.058 0.026 0.014 0.945 1.245 0. 1.104


















Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 119 104 117 162 300 0 0
normalized size 1 1. 0.87 0.98 1.36 2.52 0. 0.
time (sec) N/A 0.106 0.064 0.016 1.483 1.298 0. 0.


















Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 107 117 162 325 0 0
normalized size 1 1. 0.88 0.96 1.33 2.66 0. 0.
time (sec) N/A 0.107 0.054 0.015 1.468 1.348 0. 0.


















Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 127 107 117 185 320 0 0
normalized size 1 1. 0.84 0.92 1.46 2.52 0. 0.
time (sec) N/A 0.109 0.065 0.017 1.483 1.38 0. 0.


















Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 127 107 117 208 321 0 0
normalized size 1 1. 0.84 0.92 1.64 2.53 0. 0.
time (sec) N/A 0.107 0.052 0.017 1.49 1.314 0. 0.


















Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 356 356 249 294 0 0 0 0
normalized size 1 1. 0.7 0.83 0. 0. 0. 0.
time (sec) N/A 0.256 0.317 0.02 0. 0. 0. 0.


















Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 331 331 244 277 0 0 0 0
normalized size 1 1. 0.74 0.84 0. 0. 0. 0.
time (sec) N/A 0.214 0.308 0.015 0. 0. 0. 0.


















Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F A F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 308 308 0 260 0 0 0 0
normalized size 1 1. 0. 0.84 0. 0. 0. 0.
time (sec) N/A 0.153 0. 0.012 0. 0. 0. 0.


















Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 312 312 235 260 0 0 0 0
normalized size 1 1. 0.75 0.83 0. 0. 0. 0.
time (sec) N/A 0.151 0.308 0.016 0. 0. 0. 0.


















Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 314 314 247 260 0 0 0 0
normalized size 1 1. 0.79 0.83 0. 0. 0. 0.
time (sec) N/A 0.164 0.335 0.016 0. 0. 0. 0.


















Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 331 331 244 259 0 0 0 0
normalized size 1 1. 0.74 0.78 0. 0. 0. 0.
time (sec) N/A 0.203 0.317 0.02 0. 0. 0. 0.


















Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 153 139 286 0 725 0 203
normalized size 1 1. 0.91 1.87 0. 4.74 0. 1.33
time (sec) N/A 0.203 0.107 0.027 0. 1.553 0. 1.2


















Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 101 176 0 545 0 132
normalized size 1 1. 1.01 1.76 0. 5.45 0. 1.32
time (sec) N/A 0.093 0.048 0.015 0. 1.483 0. 1.153


















Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 78 93 0 421 0 93
normalized size 1 1. 1.03 1.22 0. 5.54 0. 1.22
time (sec) N/A 0.064 0.025 0.01 0. 1.508 0. 1.178


















Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 89 76 0 1211 0 0
normalized size 1 1. 0.99 0.84 0. 13.46 0. 0.
time (sec) N/A 0.094 0.029 0.013 0. 2.049 0. 0.


















Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 82 104 0 460 0 0
normalized size 1 1. 1.02 1.3 0. 5.75 0. 0.
time (sec) N/A 0.083 0.036 0.016 0. 1.77 0. 0.


















Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 124 124 107 194 0 593 0 0
normalized size 1 1. 0.86 1.56 0. 4.78 0. 0.
time (sec) N/A 0.145 0.076 0.018 0. 2.379 0. 0.


















Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 177 177 148 311 0 779 0 0
normalized size 1 1. 0.84 1.76 0. 4.4 0. 0.
time (sec) N/A 0.239 0.116 0.019 0. 3.148 0. 0.


















Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 403 403 532 815 0 0 0 0
normalized size 1 1. 1.32 2.02 0. 0. 0. 0.
time (sec) N/A 0.284 2.164 0.048 0. 0. 0. 0.


















Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 336 336 479 607 0 0 0 0
normalized size 1 1. 1.43 1.81 0. 0. 0. 0.
time (sec) N/A 0.149 1.382 0.01 0. 0. 0. 0.


















Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 283 283 302 362 0 0 0 0
normalized size 1 1. 1.07 1.28 0. 0. 0. 0.
time (sec) N/A 0.083 0.256 0.009 0. 0. 0. 0.


















Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 312 312 448 386 0 0 0 0
normalized size 1 1. 1.44 1.24 0. 0. 0. 0.
time (sec) N/A 0.131 1.075 0.014 0. 0. 0. 0.


















Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 376 376 373 656 0 0 0 0
normalized size 1 1. 0.99 1.74 0. 0. 0. 0.
time (sec) N/A 0.227 0.696 0.018 0. 0. 0. 0.


















Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 66 87 122 165 0 81
normalized size 1 1. 0.67 0.89 1.24 1.68 0. 0.83
time (sec) N/A 0.087 0.031 0.016 0.95 1.374 0. 1.142


















Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 61 70 99 139 0 72
normalized size 1 1. 0.79 0.91 1.29 1.81 0. 0.94
time (sec) N/A 0.066 0.022 0.012 0.96 1.315 0. 1.132


















Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 56 53 76 123 0 62
normalized size 1 1. 1. 0.95 1.36 2.2 0. 1.11
time (sec) N/A 0.045 0.016 0.011 0.968 1.28 0. 1.114


















Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 49 36 53 103 0 53
normalized size 1 1. 1. 0.73 1.08 2.1 0. 1.08
time (sec) N/A 0.032 0.01 0.01 0.953 1.399 0. 1.112


















Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 69 52 78 203 0 0
normalized size 1 1. 1. 0.75 1.13 2.94 0. 0.
time (sec) N/A 0.062 0.016 0.01 1.43 1.467 0. 0.


















Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 62 49 69 200 0 0
normalized size 1 1. 1. 0.79 1.11 3.23 0. 0.
time (sec) N/A 0.05 0.015 0.013 1.425 1.4 0. 0.


















Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 67 66 92 215 0 0
normalized size 1 1. 0.81 0.8 1.11 2.59 0. 0.
time (sec) N/A 0.07 0.023 0.013 1.446 1.395 0. 0.


















Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 77 83 115 235 0 0
normalized size 1 1. 0.74 0.8 1.11 2.26 0. 0.
time (sec) N/A 0.088 0.024 0.013 1.463 1.469 0. 0.


















Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 298 298 229 226 0 0 0 0
normalized size 1 1. 0.77 0.76 0. 0. 0. 0.
time (sec) N/A 0.175 0.304 0.02 0. 0. 0. 0.


















Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 270 270 222 208 0 0 0 0
normalized size 1 1. 0.82 0.77 0. 0. 0. 0.
time (sec) N/A 0.12 0.293 0.014 0. 0. 0. 0.


















Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 257 257 159 194 0 0 0 0
normalized size 1 1. 0.62 0.75 0. 0. 0. 0.
time (sec) N/A 0.077 0.144 0.011 0. 0. 0. 0.


















Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 278 278 224 211 0 0 0 0
normalized size 1 1. 0.81 0.76 0. 0. 0. 0.
time (sec) N/A 0.123 0.275 0.017 0. 0. 0. 0.


















Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 302 302 237 228 0 0 0 0
normalized size 1 1. 0.78 0.75 0. 0. 0. 0.
time (sec) N/A 0.163 0.307 0.017 0. 0. 0. 0.


















Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 72 91 99 232 0 70
normalized size 1 1. 0.94 1.18 1.29 3.01 0. 0.91
time (sec) N/A 0.058 0.024 0.019 0.966 1.452 0. 1.124


















Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 54 95 76 209 0 62
normalized size 1 1. 0.96 1.7 1.36 3.73 0. 1.11
time (sec) N/A 0.043 0.125 0.011 0.96 1.234 0. 1.149


















Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 22 43 113 0 28
normalized size 1 1. 1. 0.88 1.72 4.52 0. 1.12
time (sec) N/A 0.019 0.095 0.005 0.952 1.331 0. 1.16


















Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 66 67 88 281 0 0
normalized size 1 1. 1. 1.02 1.33 4.26 0. 0.
time (sec) N/A 0.057 0.029 0.018 1.436 1.376 0. 0.


















Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 88 84 111 308 0 0
normalized size 1 1. 0.98 0.93 1.23 3.42 0. 0.
time (sec) N/A 0.071 0.018 0.013 1.666 1.349 0. 0.


















Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 307 307 219 240 0 0 0 0
normalized size 1 1. 0.71 0.78 0. 0. 0. 0.
time (sec) N/A 0.163 0.301 0.021 0. 0. 0. 0.


















Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 286 286 219 240 0 0 0 0
normalized size 1 1. 0.77 0.84 0. 0. 0. 0.
time (sec) N/A 0.123 0.287 0.014 0. 0. 0. 0.


















Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F A F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 282 282 0 240 0 0 0 0
normalized size 1 1. 0. 0.85 0. 0. 0. 0.
time (sec) N/A 0.109 0. 0.013 0. 0. 0. 0.


















Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 309 309 228 257 0 0 0 0
normalized size 1 1. 0.74 0.83 0. 0. 0. 0.
time (sec) N/A 0.164 0.315 0.02 0. 0. 0. 0.


















Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 326 326 234 274 0 0 0 0
normalized size 1 1. 0.72 0.84 0. 0. 0. 0.
time (sec) N/A 0.206 0.321 0.02 0. 0. 0. 0.


















Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 297 297 430 0 0 0 0 0
normalized size 1 1. 1.45 0. 0. 0. 0. 0.
time (sec) N/A 0.385 0.975 0.056 0. 0. 0. 0.


















Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 297 297 386 0 0 0 0 0
normalized size 1 1. 1.3 0. 0. 0. 0. 0.
time (sec) N/A 0.323 5.737 0.04 0. 0. 0. 0.


















Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 295 295 386 0 0 0 0 0
normalized size 1 1. 1.31 0. 0. 0. 0. 0.
time (sec) N/A 0.321 0.747 0.038 0. 0. 0. 0.


















Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 295 295 370 0 0 0 0 0
normalized size 1 1. 1.25 0. 0. 0. 0. 0.
time (sec) N/A 0.317 0.913 0.042 0. 0. 0. 0.


















Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 299 299 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.347 0. 0.036 0. 0. 0. 0.


















Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 299 299 490 0 0 0 0 0
normalized size 1 1. 1.64 0. 0. 0. 0. 0.
time (sec) N/A 0.354 6.194 0.036 0. 0. 0. 0.


















Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 297 297 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.351 0. 0.035 0. 0. 0. 0.


















Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 297 297 447 0 0 0 0 0
normalized size 1 1. 1.51 0. 0. 0. 0. 0.
time (sec) N/A 0.348 1.057 0.038 0. 0. 0. 0.


















Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 297 297 354 0 0 0 0 0
normalized size 1 1. 1.19 0. 0. 0. 0. 0.
time (sec) N/A 0.328 0.625 0.031 0. 0. 0. 0.


















Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 297 297 242 0 0 0 0 0
normalized size 1 1. 0.81 0. 0. 0. 0. 0.
time (sec) N/A 0.322 5.153 0.02 0. 0. 0. 0.


















Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 295 295 241 0 0 0 0 0
normalized size 1 1. 0.82 0. 0. 0. 0. 0.
time (sec) N/A 0.325 0.222 0.022 0. 0. 0. 0.


















Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 295 295 356 0 0 0 0 0
normalized size 1 1. 1.21 0. 0. 0. 0. 0.
time (sec) N/A 0.325 0.686 0.037 0. 0. 0. 0.


















Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 303 303 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.344 0. 0.026 0. 0. 0. 0.


















Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 303 303 397 0 0 0 0 0
normalized size 1 1. 1.31 0. 0. 0. 0. 0.
time (sec) N/A 0.349 5.751 0.019 0. 0. 0. 0.


















Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 301 301 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.35 0. 0.033 0. 0. 0. 0.


















Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 301 301 460 0 0 0 0 0
normalized size 1 1. 1.53 0. 0. 0. 0. 0.
time (sec) N/A 0.351 1.053 0.054 0. 0. 0. 0.


















Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 243 243 191 1935 0 3271 11538 3802
normalized size 1 1. 0.79 7.96 0. 13.46 47.48 15.65
time (sec) N/A 0.176 0.341 0.008 0. 1.478 14.784 1.19


















Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 155 155 117 783 0 1416 4190 1590
normalized size 1 1. 0.75 5.05 0. 9.14 27.03 10.26
time (sec) N/A 0.099 0.148 0.008 0. 1.385 6.136 1.133


















Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 59 221 0 414 1056 473
normalized size 1 1. 0.71 2.66 0. 4.99 12.72 5.7
time (sec) N/A 0.047 0.049 0.003 0. 1.665 2.087 1.107


















Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 194 194 156 0 0 0 0 0
normalized size 1 1. 0.8 0. 0. 0. 0. 0.
time (sec) N/A 0.299 0.269 0.024 0. 0. 0. 0.


















Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 392 358 160 0 0 0 0 0
normalized size 1 0.91 0.41 0. 0. 0. 0. 0.
time (sec) N/A 2.646 0.217 0.025 0. 0. 0. 0.


















Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 319 319 466 0 0 0 0 0
normalized size 1 1. 1.46 0. 0. 0. 0. 0.
time (sec) N/A 0.399 0.541 0.01 0. 0. 0. 0.


















Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 317 317 267 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.361 0.256 0.008 0. 0. 0. 0.


















Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 317 317 267 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.352 0.276 0.012 0. 0. 0. 0.


















Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 323 323 307 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.388 0.428 0.01 0. 0. 0. 0.


















Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 134 134 134 122 0 563 0 163
normalized size 1 1. 1. 0.91 0. 4.2 0. 1.22
time (sec) N/A 0.179 0.061 0.011 0. 24.976 0. 1.1


















Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 118 99 108 0 446 0 142
normalized size 1 1. 0.84 0.92 0. 3.78 0. 1.2
time (sec) N/A 0.152 0.095 0.007 0. 9.134 0. 1.089


















Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 77 92 0 365 0 122
normalized size 1 1. 0.73 0.88 0. 3.48 0. 1.16
time (sec) N/A 0.137 0.035 0.008 0. 5.375 0. 1.115


















Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 66 83 0 315 932 116
normalized size 1 1. 0.69 0.86 0. 3.28 9.71 1.21
time (sec) N/A 0.094 0.039 0.007 0. 2.3 144.776 1.114


















Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 67 83 0 319 0 115
normalized size 1 1. 0.7 0.86 0. 3.32 0. 1.2
time (sec) N/A 0.064 0.037 0.006 0. 2.819 0. 1.099


















Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 114 114 134 101 0 439 0 138
normalized size 1 1. 1.18 0.89 0. 3.85 0. 1.21
time (sec) N/A 0.125 0.071 0.01 0. 36.287 0. 1.096


















Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 129 129 169 119 0 574 0 178
normalized size 1 1. 1.31 0.92 0. 4.45 0. 1.38
time (sec) N/A 0.15 0.103 0.01 0. 178.174 0. 1.11


















Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 156 156 209 145 0 0 0 227
normalized size 1 1. 1.34 0.93 0. 0. 0. 1.46
time (sec) N/A 0.183 0.095 0.013 0. 0. 0. 1.094


















Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 359 359 344 405 0 8402 0 490
normalized size 1 1. 0.96 1.13 0. 23.4 0. 1.36
time (sec) N/A 0.346 0.379 0.013 0. 52.357 0. 1.109


















Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 345 345 373 387 0 8208 0 450
normalized size 1 1. 1.08 1.12 0. 23.79 0. 1.3
time (sec) N/A 0.302 0.246 0.01 0. 8.307 0. 1.201


















Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 336 336 233 363 0 7710 0 441
normalized size 1 1. 0.69 1.08 0. 22.95 0. 1.31
time (sec) N/A 0.274 0.156 0.007 0. 2.7 0. 1.156


















Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 337 337 232 351 0 7464 0 454
normalized size 1 1. 0.69 1.04 0. 22.15 0. 1.35
time (sec) N/A 0.267 0.133 0.008 0. 1.914 0. 1.138


















Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 336 336 234 363 0 7792 0 458
normalized size 1 1. 0.7 1.08 0. 23.19 0. 1.36
time (sec) N/A 0.273 0.144 0.007 0. 4.46 0. 1.153


















Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 348 348 389 390 0 8235 0 470
normalized size 1 1. 1.12 1.12 0. 23.66 0. 1.35
time (sec) N/A 0.3 0.253 0.01 0. 13.505 0. 1.122


















Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 360 360 367 406 0 8462 0 491
normalized size 1 1. 1.02 1.13 0. 23.51 0. 1.36
time (sec) N/A 0.301 0.428 0.012 0. 47.087 0. 1.142


















Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 135 305 0 1106 0 339
normalized size 1 1. 0.8 1.8 0. 6.54 0. 2.01
time (sec) N/A 0.367 0.217 0.033 0. 81.27 0. 1.098


















Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 150 150 142 260 0 922 0 301
normalized size 1 1. 0.95 1.73 0. 6.15 0. 2.01
time (sec) N/A 0.247 0.115 0.017 0. 39.678 0. 1.109


















Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 153 120 252 0 987 0 297
normalized size 1 1. 0.78 1.65 0. 6.45 0. 1.94
time (sec) N/A 0.248 0.158 0.016 0. 16.317 0. 1.088


















Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 114 247 0 992 0 254
normalized size 1 1. 0.77 1.67 0. 6.7 0. 1.72
time (sec) N/A 0.187 0.148 0.016 0. 16.473 0. 1.107


















Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 151 151 117 255 0 925 0 269
normalized size 1 1. 0.77 1.69 0. 6.13 0. 1.78
time (sec) N/A 0.181 0.139 0.016 0. 39.405 0. 1.094


















Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 241 309 0 0 0 377
normalized size 1 1. 1.15 1.48 0. 0. 0. 1.8
time (sec) N/A 0.239 0.195 0.022 0. 0. 0. 1.075


















Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 236 236 248 332 0 0 0 464
normalized size 1 1. 1.05 1.41 0. 0. 0. 1.97
time (sec) N/A 0.261 0.451 0.025 0. 0. 0. 1.11


















Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 265 265 278 363 0 0 0 473
normalized size 1 1. 1.05 1.37 0. 0. 0. 1.78
time (sec) N/A 0.327 0.427 0.025 0. 0. 0. 1.097


















Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 712 712 431 873 0 20569 0 784
normalized size 1 1. 0.61 1.23 0. 28.89 0. 1.1
time (sec) N/A 0.671 0.319 0.014 0. 96.675 0. 1.133


















Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 687 687 428 852 0 20034 0 803
normalized size 1 1. 0.62 1.24 0. 29.16 0. 1.17
time (sec) N/A 0.602 0.379 0.014 0. 59.362 0. 1.137


















Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 685 685 423 848 0 19637 0 791
normalized size 1 1. 0.62 1.24 0. 28.67 0. 1.15
time (sec) N/A 0.609 0.285 0.016 0. 59.105 0. 1.151


















Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 685 685 428 852 0 19999 0 814
normalized size 1 1. 0.62 1.24 0. 29.2 0. 1.19
time (sec) N/A 0.56 0.294 0.013 0. 69.43 0. 1.131


















Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 689 689 429 873 0 20650 0 814
normalized size 1 1. 0.62 1.27 0. 29.97 0. 1.18
time (sec) N/A 0.601 0.308 0.016 0. 132.414 0. 1.128


















Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 745 745 499 911 0 0 0 863
normalized size 1 1. 0.67 1.22 0. 0. 0. 1.16
time (sec) N/A 0.772 0.382 0.017 0. 0. 0. 1.122


















Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 751 751 513 932 0 0 0 848
normalized size 1 1. 0.68 1.24 0. 0. 0. 1.13
time (sec) N/A 0.686 0.399 0.02 0. 0. 0. 1.118


















Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 40 110 0 0 0 0
normalized size 1 1. 0.57 1.57 0. 0. 0. 0.
time (sec) N/A 0.059 0.09 0.058 0. 0. 0. 0.


















Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 36 112 0 0 0 0
normalized size 1 1. 0.51 1.6 0. 0. 0. 0.
time (sec) N/A 0.061 0.089 0.017 0. 0. 0. 0.


















Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 46 96 0 0 0 0
normalized size 1 1. 0.46 0.97 0. 0. 0. 0.
time (sec) N/A 0.055 0.107 0.017 0. 0. 0. 0.


















Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 37 143 0 0 0 0
normalized size 1 1. 0.61 2.34 0. 0. 0. 0.
time (sec) N/A 0.041 0.081 0.024 0. 0. 0. 0.


















Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 54 99 0 0 0 0
normalized size 1 1. 0.48 0.88 0. 0. 0. 0.
time (sec) N/A 0.065 0.079 0.015 0. 0. 0. 0.


















Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 35 134 0 0 0 0
normalized size 1 1. 0.61 2.35 0. 0. 0. 0.
time (sec) N/A 0.053 0.076 0.02 0. 0. 0. 0.


















Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 60 168 0 0 0 0
normalized size 1 1. 0.81 2.27 0. 0. 0. 0.
time (sec) N/A 0.064 0.093 0.033 0. 0. 0. 0.


















Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 56 115 0 0 0 0
normalized size 1 1. 0.76 1.55 0. 0. 0. 0.
time (sec) N/A 0.065 0.086 0.014 0. 0. 0. 0.


















Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 243 243 142 159 0 475 0 211
normalized size 1 1. 0.58 0.65 0. 1.95 0. 0.87
time (sec) N/A 0.13 0.177 0.012 0. 1.944 0. 1.108


















Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 56 51 68 113 0 85
normalized size 1 1. 0.52 0.47 0.63 1.05 0. 0.79
time (sec) N/A 0.101 0.03 0.004 0.965 1.803 0. 1.1


















Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 178 178 121 119 0 370 0 147
normalized size 1 1. 0.68 0.67 0. 2.08 0. 0.83
time (sec) N/A 0.076 0.112 0.007 0. 1.82 0. 1.118


















Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 152 83 80 0 300 0 113
normalized size 1 1. 0.55 0.53 0. 1.97 0. 0.74
time (sec) N/A 0.095 0.046 0.01 0. 1.838 0. 1.11


















Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 177 177 122 128 0 320 0 157
normalized size 1 1. 0.69 0.72 0. 1.81 0. 0.89
time (sec) N/A 0.091 0.119 0.01 0. 1.833 0. 1.106


















Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 177 177 90 133 0 332 0 135
normalized size 1 1. 0.51 0.75 0. 1.88 0. 0.76
time (sec) N/A 0.119 0.045 0.01 0. 2.022 0. 1.105


















Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 72 73 97 200 76 107
normalized size 1 1. 0.92 0.94 1.24 2.56 0.97 1.37
time (sec) N/A 0.135 0.026 0.001 0.955 1.502 0.074 1.095


















Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 78 73 97 196 82 107
normalized size 1 1. 1. 0.94 1.24 2.51 1.05 1.37
time (sec) N/A 0.064 0.016 0. 0.95 1.489 0.078 1.098


















Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 72 73 97 196 76 107
normalized size 1 1. 0.96 0.97 1.29 2.61 1.01 1.43
time (sec) N/A 0.131 0.022 0. 0.932 1.487 0.074 1.072


















Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 73 70 93 185 78 103
normalized size 1 1. 1. 0.96 1.27 2.53 1.07 1.41
time (sec) N/A 0.044 0.016 0.001 0.947 1.528 0.074 1.117


















Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 74 77 99 165 73 107
normalized size 1 1. 1. 1.04 1.34 2.23 0.99 1.45
time (sec) N/A 0.09 0.021 0.003 0.958 1.66 0.316 1.098


















Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 71 75 93 170 73 100
normalized size 1 1. 1. 1.06 1.31 2.39 1.03 1.41
time (sec) N/A 0.048 0.033 0.004 0.947 1.663 0.315 1.08


















Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 71 76 99 173 71 131
normalized size 1 1. 0.96 1.03 1.34 2.34 0.96 1.77
time (sec) N/A 0.096 0.042 0.007 0.935 1.705 0.41 1.084


















Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 165 214 0 922 313 216
normalized size 1 1. 0.98 1.27 0. 5.49 1.86 1.29
time (sec) N/A 0.234 0.137 0.01 0. 1.918 1.501 1.098


















Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 133 176 0 756 184 169
normalized size 1 1. 0.99 1.3 0. 5.6 1.36 1.25
time (sec) N/A 0.159 0.079 0.012 0. 1.826 1.405 1.112


















Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 106 106 102 141 0 648 160 123
normalized size 1 1. 0.96 1.33 0. 6.11 1.51 1.16
time (sec) N/A 0.106 0.066 0.008 0. 1.851 1.212 1.11


















Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 88 118 0 541 153 101
normalized size 1 1. 1.06 1.42 0. 6.52 1.84 1.22
time (sec) N/A 0.093 0.054 0.009 0. 1.844 1.007 1.125


















Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 86 89 121 0 555 155 112
normalized size 1 0.97 1. 1.36 0. 6.24 1.74 1.26
time (sec) N/A 0.118 0.062 0.013 0. 1.893 1.337 1.095


















Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 106 106 105 146 0 672 167 127
normalized size 1 1. 0.99 1.38 0. 6.34 1.58 1.2
time (sec) N/A 0.137 0.065 0.014 0. 1.87 1.733 1.09


















Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 136 136 135 183 0 775 284 177
normalized size 1 1. 0.99 1.35 0. 5.7 2.09 1.3
time (sec) N/A 0.252 0.09 0.013 0. 1.904 2.496 1.102


















Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 166 221 0 938 328 221
normalized size 1 1. 0.99 1.32 0. 5.62 1.96 1.32
time (sec) N/A 0.33 0.095 0.016 0. 1.811 3.366 1.091


















Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 173 173 170 239 0 1125 233 216
normalized size 1 1. 0.98 1.38 0. 6.5 1.35 1.25
time (sec) N/A 0.321 0.111 0.011 0. 1.861 4.373 1.1


















Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 141 202 0 1010 211 169
normalized size 1 1. 0.99 1.41 0. 7.06 1.48 1.18
time (sec) N/A 0.21 0.087 0.012 0. 1.856 3.94 1.073


















Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 124 124 122 179 0 873 201 144
normalized size 1 1. 0.98 1.44 0. 7.04 1.62 1.16
time (sec) N/A 0.138 0.104 0.01 0. 1.799 3.097 1.089


















Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 110 131 0 813 196 136
normalized size 1 1. 0.96 1.14 0. 7.07 1.7 1.18
time (sec) N/A 0.116 0.097 0.008 0. 1.839 1.772 1.105


















Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 124 124 182 0 887 202 149
normalized size 1 0.98 0.98 1.43 0. 6.98 1.59 1.17
time (sec) N/A 0.204 0.14 0.012 0. 1.771 2.421 1.095


















Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 142 141 207 0 1031 214 173
normalized size 1 1. 0.99 1.46 0. 7.26 1.51 1.22
time (sec) N/A 0.217 0.086 0.014 0. 1.913 3.407 1.115


















Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 171 171 173 245 0 1143 330 221
normalized size 1 1. 1.01 1.43 0. 6.68 1.93 1.29
time (sec) N/A 0.373 0.114 0.016 0. 1.853 4.766 1.126


















Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 230 230 228 538 0 0 0 319
normalized size 1 1. 0.99 2.34 0. 0. 0. 1.39
time (sec) N/A 0.487 0.251 0.014 0. 0. 0. 1.164


















Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 189 189 186 408 0 0 0 262
normalized size 1 1. 0.98 2.16 0. 0. 0. 1.39
time (sec) N/A 0.329 0.179 0.01 0. 0. 0. 1.172


















Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 139 289 0 0 0 212
normalized size 1 1. 0.88 1.83 0. 0. 0. 1.34
time (sec) N/A 0.261 0.108 0.007 0. 0. 0. 1.176


















Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 114 176 0 716 0 180
normalized size 1 1. 0.86 1.33 0. 5.42 0. 1.36
time (sec) N/A 0.157 0.072 0.008 0. 112.082 0. 1.136


















Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 133 112 176 0 718 0 181
normalized size 1 1. 0.84 1.32 0. 5.4 0. 1.36
time (sec) N/A 0.123 0.069 0.008 0. 78.36 0. 1.165


















Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 242 298 0 0 0 232
normalized size 1 1. 1.45 1.78 0. 0. 0. 1.39
time (sec) N/A 0.306 0.324 0.012 0. 0. 0. 1.14


















Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 205 205 331 430 0 0 0 320
normalized size 1 1. 1.61 2.1 0. 0. 0. 1.56
time (sec) N/A 0.47 0.339 0.016 0. 0. 0. 1.158


















Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 268 268 426 584 0 0 0 448
normalized size 1 1. 1.59 2.18 0. 0. 0. 1.67
time (sec) N/A 0.597 0.426 0.019 0. 0. 0. 1.185


















Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-1) F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 387 387 463 1449 0 0 0 0
normalized size 1 1. 1.2 3.74 0. 0. 0. 0.
time (sec) N/A 4.032 0.635 0.039 0. 0. 0. 0.


















Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-1) F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 323 323 385 1098 0 0 0 0
normalized size 1 1. 1.19 3.4 0. 0. 0. 0.
time (sec) N/A 1.366 0.543 0.033 0. 0. 0. 0.


















Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 280 280 323 764 0 30765 0 0
normalized size 1 1. 1.15 2.73 0. 109.88 0. 0.
time (sec) N/A 0.894 0.344 0.027 0. 27.464 0. 0.


















Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 251 251 277 478 0 24804 0 0
normalized size 1 1. 1.1 1.9 0. 98.82 0. 0.
time (sec) N/A 0.451 0.507 0.023 0. 10.006 0. 0.


















Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-1) F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 254 254 274 480 0 0 0 0
normalized size 1 1. 1.08 1.89 0. 0. 0. 0.
time (sec) N/A 0.52 0.251 0.025 0. 0. 0. 0.


















Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-1) F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 298 298 340 817 0 0 0 0
normalized size 1 1. 1.14 2.74 0. 0. 0. 0.
time (sec) N/A 0.96 0.434 0.028 0. 0. 0. 0.


















Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-1) F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 348 348 410 1160 0 0 0 0
normalized size 1 1. 1.18 3.33 0. 0. 0. 0.
time (sec) N/A 1.549 0.544 0.035 0. 0. 0. 0.


















Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) F(-1) F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 866 866 267 336 0 0 0 0
normalized size 1 1. 0.31 0.39 0. 0. 0. 0.
time (sec) N/A 2.509 0.374 0.092 0. 0. 0. 0.


















Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 272 272 267 1049 0 0 0 0
normalized size 1 1. 0.98 3.86 0. 0. 0. 0.
time (sec) N/A 0.573 0.427 0.043 0. 0. 0. 0.


















Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 208 208 205 887 0 2718 0 0
normalized size 1 1. 0.99 4.26 0. 13.07 0. 0.
time (sec) N/A 0.315 0.265 0.01 0. 119.521 0. 0.


















Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 167 757 0 2327 0 0
normalized size 1 1. 0.99 4.51 0. 13.85 0. 0.
time (sec) N/A 0.217 0.119 0.004 0. 9.723 0. 0.


















Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 186 186 179 851 0 0 0 0
normalized size 1 1. 0.96 4.58 0. 0. 0. 0.
time (sec) N/A 0.256 0.157 0.016 0. 0. 0. 0.


















Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 361 361 165 1009 0 2414 0 0
normalized size 1 1. 0.46 2.8 0. 6.69 0. 0.
time (sec) N/A 0.509 0.311 0.016 0. 3.759 0. 0.


















Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 424 619 209 528 0 0 0 0
normalized size 1 1.46 0.49 1.25 0. 0. 0. 0.
time (sec) N/A 0.561 0.26 0.069 0. 0. 0. 0.


















Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 417 591 204 509 0 0 0 0
normalized size 1 1.42 0.49 1.22 0. 0. 0. 0.
time (sec) N/A 0.41 0.183 0.007 0. 0. 0. 0.


















Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 381 470 127 341 0 0 0 0
normalized size 1 1.23 0.33 0.9 0. 0. 0. 0.
time (sec) N/A 0.202 0.112 0.003 0. 0. 0. 0.


















Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 399 399 208 511 0 0 0 0
normalized size 1 1. 0.52 1.28 0. 0. 0. 0.
time (sec) N/A 0.242 0.2 0.013 0. 0. 0. 0.


















Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 360 360 154 448 0 0 0 0
normalized size 1 1. 0.43 1.24 0. 0. 0. 0.
time (sec) N/A 0.194 0.181 0.015 0. 0. 0. 0.


















Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 546 546 224 549 0 0 0 0
normalized size 1 1. 0.41 1.01 0. 0. 0. 0.
time (sec) N/A 0.544 0.247 0.018 0. 0. 0. 0.


















Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 482 482 545 2068 0 0 0 0
normalized size 1 1. 1.13 4.29 0. 0. 0. 0.
time (sec) N/A 1.103 1.03 0.049 0. 0. 0. 0.


















Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-1) F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 360 360 344 1696 0 0 0 0
normalized size 1 1. 0.96 4.71 0. 0. 0. 0.
time (sec) N/A 0.697 0.604 0.01 0. 0. 0. 0.


















Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-1) F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 269 269 255 1411 0 0 0 0
normalized size 1 1. 0.95 5.25 0. 0. 0. 0.
time (sec) N/A 0.456 0.366 0.006 0. 0. 0. 0.


















Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 350 350 251 1270 0 0 0 0
normalized size 1 1. 0.72 3.63 0. 0. 0. 0.
time (sec) N/A 0.573 0.521 0.021 0. 0. 0. 0.


















Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 562 562 240 1207 0 0 0 0
normalized size 1 1. 0.43 2.15 0. 0. 0. 0.
time (sec) N/A 0.924 0.513 0.023 0. 0. 0. 0.


















Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 463 875 214 547 0 0 0 0
normalized size 1 1.89 0.46 1.18 0. 0. 0. 0.
time (sec) N/A 0.672 0.276 0.021 0. 0. 0. 0.


















Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 428 602 209 377 0 0 0 0
normalized size 1 1.41 0.49 0.88 0. 0. 0. 0.
time (sec) N/A 0.349 0.159 0.007 0. 0. 0. 0.


















Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 722 722 213 528 0 0 0 0
normalized size 1 1. 0.3 0.73 0. 0. 0. 0.
time (sec) N/A 0.368 0.219 0.013 0. 0. 0. 0.


















Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 625 625 219 530 0 0 0 0
normalized size 1 1. 0.35 0.85 0. 0. 0. 0.
time (sec) N/A 0.366 0.235 0.016 0. 0. 0. 0.


















Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 553 553 224 549 0 0 0 0
normalized size 1 1. 0.41 0.99 0. 0. 0. 0.
time (sec) N/A 0.488 0.265 0.016 0. 0. 0. 0.


















Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 173 173 167 267 0 2921 0 0
normalized size 1 1. 0.97 1.54 0. 16.88 0. 0.
time (sec) N/A 0.314 0.327 0.02 0. 130.366 0. 0.


















Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 133 204 0 2360 0 0
normalized size 1 1. 0.97 1.49 0. 17.23 0. 0.
time (sec) N/A 0.157 0.116 0.01 0. 7.394 0. 0.


















Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 87 165 0 768 0 101
normalized size 1 1. 1.01 1.92 0. 8.93 0. 1.17
time (sec) N/A 0.084 0.019 0.006 0. 1.797 0. 1.14


















Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 138 138 134 207 0 2381 0 0
normalized size 1 1. 0.97 1.5 0. 17.25 0. 0.
time (sec) N/A 0.195 0.141 0.012 0. 2.694 0. 0.


















Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 218 218 176 276 0 3019 0 0
normalized size 1 1. 0.81 1.27 0. 13.85 0. 0.
time (sec) N/A 0.266 0.27 0.012 0. 6.496 0. 0.


















Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 418 418 127 222 0 0 0 0
normalized size 1 1. 0.3 0.53 0. 0. 0. 0.
time (sec) N/A 0.184 0.219 0.02 0. 0. 0. 0.


















Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 247 247 99 134 0 0 0 0
normalized size 1 1. 0.4 0.54 0. 0. 0. 0.
time (sec) N/A 0.126 0.136 0.006 0. 0. 0. 0.


















Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 245 245 80 70 0 0 0 0
normalized size 1 1. 0.33 0.29 0. 0. 0. 0.
time (sec) N/A 0.111 0.059 0.003 0. 0. 0. 0.


















Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 399 399 147 178 0 0 0 0
normalized size 1 1. 0.37 0.45 0. 0. 0. 0.
time (sec) N/A 0.347 0.234 0.014 0. 0. 0. 0.


















Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 422 422 219 260 0 0 0 0
normalized size 1 1. 0.52 0.62 0. 0. 0. 0.
time (sec) N/A 0.517 0.196 0.016 0. 0. 0. 0.


















Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 236 236 271 720 0 0 0 0
normalized size 1 1. 1.15 3.05 0. 0. 0. 0.
time (sec) N/A 0.474 0.841 0.066 0. 0. 0. 0.


















Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 204 613 0 2815 0 536
normalized size 1 1. 1.22 3.67 0. 16.86 0. 3.21
time (sec) N/A 0.294 0.653 0.011 0. 5.921 0. 1.305


















Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 159 159 162 506 0 2778 0 595
normalized size 1 1. 1.02 3.18 0. 17.47 0. 3.74
time (sec) N/A 0.191 0.207 0.01 0. 5.578 0. 1.232


















Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 167 454 0 2815 0 613
normalized size 1 1. 1.01 2.73 0. 16.96 0. 3.69
time (sec) N/A 0.171 0.165 0.006 0. 5.242 0. 1.217


















Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 266 266 236 612 0 9844 0 0
normalized size 1 1. 0.89 2.3 0. 37.01 0. 0.
time (sec) N/A 0.388 0.87 0.02 0. 22.387 0. 0.


















Problem 347 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 419 419 350 863 0 13005 0 0
normalized size 1 1. 0.84 2.06 0. 31.04 0. 0.
time (sec) N/A 0.564 1.639 0.02 0. 55.353 0. 0.


















Problem 348 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 449 566 199 603 0 0 0 0
normalized size 1 1.26 0.44 1.34 0. 0. 0. 0.
time (sec) N/A 0.347 0.285 0.032 0. 0. 0. 0.


















Problem 349 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 423 503 199 586 0 0 0 0
normalized size 1 1.19 0.47 1.39 0. 0. 0. 0.
time (sec) N/A 0.256 0.218 0.009 0. 0. 0. 0.


















Problem 350 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 422 501 199 561 0 0 0 0
normalized size 1 1.19 0.47 1.33 0. 0. 0. 0.
time (sec) N/A 0.24 0.217 0.009 0. 0. 0. 0.


















Problem 351 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 423 503 199 536 0 0 0 0
normalized size 1 1.19 0.47 1.27 0. 0. 0. 0.
time (sec) N/A 0.242 0.198 0.01 0. 0. 0. 0.


















Problem 352 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 422 501 199 366 0 0 0 0
normalized size 1 1.19 0.47 0.87 0. 0. 0. 0.
time (sec) N/A 0.226 0.152 0.005 0. 0. 0. 0.


















Problem 353 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 468 644 211 553 0 0 0 0
normalized size 1 1.38 0.45 1.18 0. 0. 0. 0.
time (sec) N/A 0.445 0.237 0.016 0. 0. 0. 0.


















Problem 354 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F F(-1) F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 406 406 943 496 0 0 0 0
normalized size 1 1. 2.32 1.22 0. 0. 0. 0.
time (sec) N/A 8.593 10.828 0.049 0. 0. 0. 0.


















Problem 355 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 324 324 591 332 0 0 0 0
normalized size 1 1. 1.82 1.02 0. 0. 0. 0.
time (sec) N/A 3.529 7.818 0.026 0. 0. 0. 0.


















Problem 356 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 292 292 308 275 0 0 0 0
normalized size 1 1. 1.05 0.94 0. 0. 0. 0.
time (sec) N/A 3.6 0.571 0.023 0. 0. 0. 0.


















Problem 357 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 202 202 179 177 0 2241 0 0
normalized size 1 1. 0.89 0.88 0. 11.09 0. 0.
time (sec) N/A 0.363 0.33 0.013 0. 74.911 0. 0.


















Problem 358 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 281 281 241 294 0 0 0 0
normalized size 1 1. 0.86 1.05 0. 0. 0. 0.
time (sec) N/A 1.35 0.801 0.023 0. 0. 0. 0.


















Problem 359 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F(-1) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 382 370 349 401 0 0 0 0
normalized size 1 0.97 0.91 1.05 0. 0. 0. 0.
time (sec) N/A 4.134 1.407 0.028 0. 0. 0. 0.


















Problem 360 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F(-1) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 552 552 466 655 0 0 0 0
normalized size 1 1. 0.84 1.19 0. 0. 0. 0.
time (sec) N/A 4.244 2.045 0.033 0. 0. 0. 0.


















Problem 361 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F F(-1) F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 390 390 10915 290 0 0 0 72
normalized size 1 1. 27.99 0.74 0. 0. 0. 0.18
time (sec) N/A 2.919 6.418 0.033 0. 0. 0. 1.281


















Problem 362 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F B F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 324 324 7768 224 0 6734 0 36
normalized size 1 1. 23.98 0.69 0. 20.78 0. 0.11
time (sec) N/A 1.517 6.173 0.024 0. 29.939 0. 1.223


















Problem 363 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 240 240 2585 161 0 2026 0 0
normalized size 1 1. 10.77 0.67 0. 8.44 0. 0.
time (sec) N/A 0.318 5.597 0.015 0. 8.334 0. 0.


















Problem 364 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F B F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 291 291 4644 272 0 4811 0 0
normalized size 1 1. 15.96 0.93 0. 16.53 0. 0.
time (sec) N/A 0.671 6.336 0.026 0. 19.621 0. 0.


















Problem 365 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F B F(-1) F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 373 373 7777 322 0 8227 0 0
normalized size 1 1. 20.85 0.86 0. 22.06 0. 0.
time (sec) N/A 2.527 6.409 0.03 0. 75.004 0. 0.


















Problem 366 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F B F(-1) F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 512 512 10933 503 0 11867 0 0
normalized size 1 1. 21.35 0.98 0. 23.18 0. 0.
time (sec) N/A 4.943 6.597 0.034 0. 126.104 0. 0.


















Problem 367 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F(-1) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 460 460 457 490 0 0 0 0
normalized size 1 1. 0.99 1.07 0. 0. 0. 0.
time (sec) N/A 5.084 0.988 0.03 0. 0. 0. 0.


















Problem 368 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 327 327 324 279 0 0 0 0
normalized size 1 1. 0.99 0.85 0. 0. 0. 0.
time (sec) N/A 1.456 0.582 0.022 0. 0. 0. 0.


















Problem 369 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 346 346 333 388 0 0 0 0
normalized size 1 1. 0.96 1.12 0. 0. 0. 0.
time (sec) N/A 1.744 1.373 0.027 0. 0. 0. 0.


















Problem 370 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F(-1) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 417 416 380 555 0 0 0 0
normalized size 1 1. 0.91 1.33 0. 0. 0. 0.
time (sec) N/A 3.243 1.629 0.03 0. 0. 0. 0.


















Problem 371 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F F(-1) F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 595 595 18689 516 0 0 0 140
normalized size 1 1. 31.41 0.87 0. 0. 0. 0.24
time (sec) N/A 3.285 6.513 0.034 0. 0. 0. 1.434


















Problem 372 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F F(-1) F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 491 491 14032 382 0 0 0 78
normalized size 1 1. 28.58 0.78 0. 0. 0. 0.16
time (sec) N/A 1.802 6.275 0.029 0. 0. 0. 1.438


















Problem 373 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F F(-1) F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 487 487 9290 217 0 0 0 36
normalized size 1 1. 19.08 0.45 0. 0. 0. 0.07
time (sec) N/A 1.572 6.163 0.021 0. 0. 0. 1.352


















Problem 374 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F B F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 260 432 7789 360 0 8124 0 0
normalized size 1 1.66 29.96 1.38 0. 31.25 0. 0.
time (sec) N/A 0.855 6.322 0.03 0. 28.913 0. 0.


















Problem 375 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F B F(-1) F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 523 523 9321 511 0 15790 0 0
normalized size 1 1. 17.82 0.98 0. 30.19 0. 0.
time (sec) N/A 2.617 6.43 0.031 0. 167.91 0. 0.


















Problem 376 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 281 281 354 2134 0 7294 0 0
normalized size 1 1. 1.26 7.59 0. 25.96 0. 0.
time (sec) N/A 7.336 0.535 0.081 0. 33.224 0. 0.


















Problem 377 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 229 229 276 1223 0 4096 0 0
normalized size 1 1. 1.21 5.34 0. 17.89 0. 0.
time (sec) N/A 1.751 0.395 0.043 0. 12.454 0. 0.


















Problem 378 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 182 182 169 1167 0 1868 0 0
normalized size 1 1. 0.93 6.41 0. 10.26 0. 0.
time (sec) N/A 0.268 0.245 0.036 0. 5.873 0. 0.


















Problem 379 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 241 241 212 2099 0 2604 0 0
normalized size 1 1. 0.88 8.71 0. 10.8 0. 0.
time (sec) N/A 1.645 0.442 0.049 0. 23.636 0. 0.


















Problem 380 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 290 290 292 2770 0 5650 0 0
normalized size 1 1. 1.01 9.55 0. 19.48 0. 0.
time (sec) N/A 2.362 0.77 0.059 0. 67.38 0. 0.


















Problem 381 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F B F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 325 325 10606 222 0 5638 0 0
normalized size 1 1. 32.63 0.68 0. 17.35 0. 0.
time (sec) N/A 5.391 6.304 0.033 0. 12.467 0. 0.


















Problem 382 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 263 263 7543 175 0 2969 0 0
normalized size 1 1. 28.68 0.67 0. 11.29 0. 0.
time (sec) N/A 2.135 6.148 0.02 0. 5.627 0. 0.


















Problem 383 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 220 220 2959 130 0 1651 0 0
normalized size 1 1. 13.45 0.59 0. 7.5 0. 0.
time (sec) N/A 0.294 6.066 0.011 0. 2.474 0. 0.


















Problem 384 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F B F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 265 265 2661 217 0 4091 0 0
normalized size 1 1. 10.04 0.82 0. 15.44 0. 0.
time (sec) N/A 0.78 5.479 0.023 0. 3.459 0. 0.


















Problem 385 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F B F B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 96 96 743 160 0 790 0 282
normalized size 1 1. 7.74 1.67 0. 8.23 0. 2.94
time (sec) N/A 0.2 0.51 0.069 0. 1.707 0. 1.207


















Problem 386 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 479 479 461 377 0 0 0 142
normalized size 1 1. 0.96 0.79 0. 0. 0. 0.3
time (sec) N/A 1.858 1.939 0.029 0. 0. 0. 1.233


















Problem 387 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 366 366 355 269 0 0 0 74
normalized size 1 1. 0.97 0.73 0. 0. 0. 0.2
time (sec) N/A 1.173 1.149 0.023 0. 0. 0. 1.225


















Problem 388 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 298 298 292 200 0 21835 0 36
normalized size 1 1. 0.98 0.67 0. 73.27 0. 0.12
time (sec) N/A 0.724 0.633 0.02 0. 125.849 0. 1.201


















Problem 389 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 240 240 227 161 0 6973 0 0
normalized size 1 1. 0.95 0.67 0. 29.05 0. 0.
time (sec) N/A 0.304 0.474 0.017 0. 31.494 0. 0.


















Problem 390 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 243 243 229 151 0 9038 0 0
normalized size 1 1. 0.94 0.62 0. 37.19 0. 0.
time (sec) N/A 0.178 0.397 0.012 0. 75.449 0. 0.


















Problem 391 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 280 280 271 197 0 12658 0 0
normalized size 1 1. 0.97 0.7 0. 45.21 0. 0.
time (sec) N/A 0.602 1.044 0.023 0. 37.89 0. 0.


















Problem 392 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F(-1) F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 341 341 320 248 0 0 0 0
normalized size 1 1. 0.94 0.73 0. 0. 0. 0.
time (sec) N/A 0.741 0.73 0.024 0. 0. 0. 0.


















Problem 393 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F(-1) F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 443 443 383 350 0 0 0 0
normalized size 1 1. 0.86 0.79 0. 0. 0. 0.
time (sec) N/A 1.432 1.795 0.027 0. 0. 0. 0.


















Problem 394 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F F(-1) F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 350 507 10968 480 0 0 0 101
normalized size 1 1.45 31.34 1.37 0. 0. 0. 0.29
time (sec) N/A 4.328 11.276 0.034 0. 0. 0. 1.19


















Problem 395 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F F(-1) F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 360 360 7792 338 0 0 0 0
normalized size 1 1. 21.64 0.94 0. 0. 0. 0.
time (sec) N/A 1.267 11.195 0.03 0. 0. 0. 0.


















Problem 396 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 333 333 2119 252 0 0 0 0
normalized size 1 1. 6.36 0.76 0. 0. 0. 0.
time (sec) N/A 0.658 10.918 0.027 0. 0. 0. 0.


















Problem 397 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 341 341 2112 246 0 0 0 0
normalized size 1 1. 6.19 0.72 0. 0. 0. 0.
time (sec) N/A 0.774 10.001 0.02 0. 0. 0. 0.


















Problem 398 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 339 462 2158 387 0 0 0 0
normalized size 1 1.36 6.37 1.14 0. 0. 0. 0.
time (sec) N/A 2.837 8.775 0.032 0. 0. 0. 0.


















Problem 399 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F(-1) F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 419 647 2218 541 0 0 0 0
normalized size 1 1.54 5.29 1.29 0. 0. 0. 0.
time (sec) N/A 5.566 8.596 0.036 0. 0. 0. 0.


















Problem 400 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 243 243 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.65 0.213 0.086 0. 0. 0. 0.


















Problem 401 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 313 313 272 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.939 0.763 0.06 0. 0. 0. 0.


















Problem 402 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 256 256 211 0 0 0 0 0
normalized size 1 1. 0.82 0. 0. 0. 0. 0.
time (sec) N/A 0.542 0.384 0.05 0. 0. 0. 0.


















Problem 403 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 210 210 183 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.329 0.237 0.044 0. 0. 0. 0.


















Problem 404 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 198 198 168 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.357 0.3 0.043 0. 0. 0. 0.


















Problem 405 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 262 262 218 0 0 0 0 0
normalized size 1 1. 0.83 0. 0. 0. 0. 0.
time (sec) N/A 0.502 0.407 0.031 0. 0. 0. 0.


















Problem 406 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 322 322 259 0 0 0 0 0
normalized size 1 1. 0.8 0. 0. 0. 0. 0.
time (sec) N/A 0.663 0.445 0.063 0. 0. 0. 0.


















Problem 407 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 339 339 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.628 0.537 0.046 0. 0. 0. 0.


















Problem 408 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 273 273 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.531 0.251 0.041 0. 0. 0. 0.


















Problem 409 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 162 162 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.314 0.103 0.043 0. 0. 0. 0.


















Problem 410 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 190 190 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.294 0.036 0.041 0. 0. 0. 0.


















Problem 411 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 264 264 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.553 0.221 0.057 0. 0. 0. 0.


















Problem 412 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 328 328 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.62 0.517 0.039 0. 0. 0. 0.


















Problem 413 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 44 44 101 0 255 0 78
normalized size 1 1.1 1.1 2.52 0. 6.38 0. 1.95
time (sec) N/A 0.072 0.056 0.061 0. 1.835 0. 1.11









2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [252] had the largest ratio of [ 0.5 ]

Table 2.1Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 3 2 1. 20 0.1







2 A 2 1 1. 20 0.05







3 A 4 3 1. 18 0.167







4 A 2 1 1. 17 0.059







5 A 3 2 1. 20 0.1







6 A 2 1 1. 20 0.05







7 A 3 2 1. 20 0.1







8 A 5 5 1. 20 0.25







9 A 4 4 1. 20 0.2







10 A 4 4 1. 18 0.222







11 A 7 7 1. 20 0.35







12 A 7 7 1. 20 0.35







13 A 7 7 1. 20 0.35







14 A 6 6 1. 20 0.3







15 A 6 5 1. 20 0.25







16 A 5 5 1. 20 0.25







17 A 4 4 1. 17 0.235







18 A 4 4 1. 20 0.2







19 A 5 5 1. 20 0.25







20 A 6 5 1. 20 0.25







21 A 5 4 1. 20 0.2







22 A 5 4 1. 18 0.222







23 A 8 7 1. 20 0.35







24 A 8 8 1. 20 0.4







25 A 8 7 1. 20 0.35







26 A 8 8 1. 20 0.4







27 A 7 5 1. 20 0.25







28 A 6 5 1. 20 0.25







29 A 5 4 1. 17 0.235







30 A 5 5 1. 20 0.25







31 A 5 4 1. 20 0.2







32 A 5 4 1. 20 0.2







33 A 4 4 1. 20 0.2







34 A 3 3 1. 20 0.15







35 A 3 3 1. 18 0.167







36 A 6 6 1. 20 0.3







37 A 5 5 1. 20 0.25







38 A 6 6 1. 20 0.3







39 A 5 4 1. 20 0.2







40 A 4 4 1. 20 0.2







41 A 3 3 1. 17 0.176







42 A 4 4 1. 20 0.2







43 A 5 4 1. 20 0.2







44 A 4 4 1. 20 0.2







45 A 4 4 1. 20 0.2







46 A 3 3 1. 20 0.15







47 A 2 2 1. 18 0.111







48 A 6 6 1. 20 0.3







49 A 6 6 1. 20 0.3







50 A 5 5 1. 20 0.25







51 A 4 4 1. 20 0.2







52 A 4 4 1. 17 0.235







53 A 5 5 1. 20 0.25







54 A 6 5 1. 20 0.25







55 A 3 2 1. 25 0.08







56 A 4 3 1. 23 0.13







57 A 3 2 1. 23 0.087







58 A 4 3 1. 23 0.13







59 A 3 2 1. 23 0.087







60 A 4 3 1. 21 0.143







61 A 3 2 1. 20 0.1







62 A 5 4 1. 23 0.174







63 A 3 2 1. 23 0.087







64 A 4 3 1. 23 0.13







65 A 3 2 1. 23 0.087







66 A 4 3 1. 21 0.143







67 A 3 2 1. 21 0.095







68 A 4 3 1. 21 0.143







69 A 3 2 1. 21 0.095







70 A 2 2 1. 19 0.105







71 A 3 2 1. 18 0.111







72 A 4 3 1. 21 0.143







73 A 3 2 1. 21 0.095







74 A 4 3 1. 21 0.143







75 A 4 4 1. 33 0.121







76 A 4 4 1. 31 0.129







77 A 3 3 1. 30 0.1







78 A 4 3 1. 33 0.091







79 A 3 3 1. 33 0.091







80 A 4 3 1. 33 0.091







81 A 4 4 1. 33 0.121







82 A 3 3 1. 31 0.097







83 A 4 4 1. 30 0.133







84 A 4 3 1. 33 0.091







85 A 5 4 1. 33 0.121







86 A 4 3 1. 33 0.091







87 A 3 2 1. 35 0.057







88 A 3 2 1. 35 0.057







89 A 3 2 1. 35 0.057







90 A 3 3 1. 35 0.086







91 A 3 3 1. 35 0.086







92 A 2 2 1. 29 0.069







93 A 5 4 1. 31 0.129







94 A 5 4 1. 31 0.129







95 A 3 2 1. 25 0.08







96 A 2 1 1. 25 0.04







97 A 3 2 1. 23 0.087







98 A 2 1 1. 22 0.045







99 A 3 2 1. 25 0.08







100 A 2 1 1. 25 0.04







101 A 3 2 1. 25 0.08







102 A 7 6 1. 25 0.24







103 A 6 6 1. 25 0.24







104 A 5 5 1. 23 0.217







105 A 7 6 1. 25 0.24







106 A 7 6 1. 25 0.24







107 A 5 3 1. 25 0.12







108 A 4 3 1. 25 0.12







109 A 3 2 1. 22 0.091







110 A 4 3 1. 25 0.12







111 A 5 3 1. 25 0.12







112 A 7 7 1. 25 0.28







113 A 6 6 1. 25 0.24







114 A 4 4 1. 25 0.16







115 A 4 4 1. 23 0.174







116 A 8 7 1. 25 0.28







117 A 8 7 1. 25 0.28







118 A 6 4 1. 25 0.16







119 A 5 4 1. 25 0.16







120 A 4 3 1. 25 0.12







121 A 4 3 1. 22 0.136







122 A 5 4 1. 25 0.16







123 A 6 4 1. 25 0.16







124 A 8 7 1. 25 0.28







125 A 7 6 1. 25 0.24







126 A 5 5 1. 25 0.2







127 A 5 5 1. 25 0.2







128 A 5 5 1. 25 0.2







129 A 5 5 1. 23 0.217







130 A 9 7 1. 25 0.28







131 A 9 7 1. 25 0.28







132 A 7 4 1. 25 0.16







133 A 6 4 1. 25 0.16







134 A 5 3 1. 25 0.12







135 A 5 4 1. 25 0.16







136 A 5 3 1. 22 0.136







137 A 4 3 1. 21 0.143







138 A 5 4 1. 22 0.182







139 A 5 5 1. 17 0.294







140 A 6 6 1. 18 0.333







141 A 5 5 1. 22 0.227







142 A 6 6 1. 25 0.24







143 A 5 5 1. 25 0.2







144 A 5 5 1. 23 0.217







145 A 7 6 1. 25 0.24







146 A 7 6 1. 25 0.24







147 A 7 6 1. 25 0.24







148 A 5 5 1. 25 0.2







149 A 6 6 1. 25 0.24







150 A 7 6 1. 25 0.24







151 A 6 5 1. 25 0.2







152 A 5 5 1. 25 0.2







153 A 4 4 1. 22 0.182







154 A 4 4 1. 25 0.16







155 A 5 5 1. 25 0.2







156 A 7 6 1. 25 0.24







157 A 6 5 1. 25 0.2







158 A 6 5 1. 23 0.217







159 A 8 6 1. 25 0.24







160 A 8 7 1. 25 0.28







161 A 8 6 1. 25 0.24







162 A 8 7 1. 25 0.28







163 A 7 5 1. 25 0.2







164 A 6 5 1. 25 0.2







165 A 5 4 1. 22 0.182







166 A 5 5 1. 25 0.2







167 A 5 4 1. 25 0.16







168 A 6 5 1. 25 0.2







169 A 5 5 1. 27 0.185







170 A 4 4 1. 27 0.148







171 A 4 4 1. 25 0.16







172 A 6 5 1. 27 0.185







173 A 4 4 1. 27 0.148







174 A 5 5 1. 27 0.185







175 A 6 5 1. 27 0.185







176 A 5 4 1. 27 0.148







177 A 4 4 1. 27 0.148







178 A 3 3 1. 24 0.125







179 A 4 4 1. 27 0.148







180 A 5 4 1. 27 0.148







181 A 6 5 1. 25 0.2







182 A 5 5 1. 25 0.2







183 A 4 4 1. 25 0.16







184 A 4 4 1. 23 0.174







185 A 6 5 1. 25 0.2







186 A 4 4 1. 25 0.16







187 A 5 5 1. 25 0.2







188 A 6 5 1. 25 0.2







189 A 5 4 1. 25 0.16







190 A 4 4 1. 25 0.16







191 A 3 3 1. 22 0.136







192 A 4 4 1. 25 0.16







193 A 5 4 1. 25 0.16







194 A 5 5 1. 25 0.2







195 A 4 4 1. 25 0.16







196 A 2 2 1. 23 0.087







197 A 5 5 1. 25 0.2







198 A 5 5 1. 25 0.2







199 A 5 5 1. 25 0.2







200 A 4 4 1. 25 0.16







201 A 4 4 1. 22 0.182







202 A 5 5 1. 25 0.2







203 A 6 5 1. 25 0.2







204 A 6 3 1. 31 0.097







205 A 6 3 1. 31 0.097







206 A 6 3 1. 31 0.097







207 A 6 3 1. 31 0.097







208 A 6 3 1. 31 0.097







209 A 6 3 1. 31 0.097







210 A 6 3 1. 31 0.097







211 A 6 3 1. 31 0.097







212 A 6 3 1. 31 0.097







213 A 6 3 1. 31 0.097







214 A 6 3 1. 31 0.097







215 A 6 3 1. 31 0.097







216 A 6 3 1. 31 0.097







217 A 6 3 1. 31 0.097







218 A 6 3 1. 31 0.097







219 A 6 3 1. 31 0.097







220 A 2 1 1. 27 0.037







221 A 2 1 1. 27 0.037







222 A 2 1 1. 25 0.04







223 A 3 2 1. 27 0.074







224 A 4 3 0.91 27 0.111







225 A 6 3 1. 29 0.103







226 A 6 3 1. 29 0.103







227 A 6 3 1. 29 0.103







228 A 6 3 1. 29 0.103







229 A 6 5 1. 22 0.227







230 A 6 5 1. 22 0.227







231 A 6 5 1. 22 0.227







232 A 6 5 1. 22 0.227







233 A 6 6 1. 20 0.3







234 A 6 5 1. 22 0.227







235 A 6 5 1. 22 0.227







236 A 6 5 1. 22 0.227







237 A 12 8 1. 22 0.364







238 A 12 8 1. 22 0.364







239 A 12 8 1. 22 0.364







240 A 12 8 1. 22 0.364







241 A 12 8 1. 19 0.421







242 A 12 8 1. 22 0.364







243 A 12 8 1. 22 0.364







244 A 7 6 1. 22 0.273







245 A 7 6 1. 22 0.273







246 A 7 6 1. 22 0.273







247 A 7 6 1. 22 0.273







248 A 7 6 1. 20 0.3







249 A 8 6 1. 22 0.273







250 A 8 6 1. 22 0.273







251 A 8 6 1. 22 0.273







252 A 24 11 1. 22 0.5







253 A 23 10 1. 22 0.454







254 A 23 10 1. 22 0.454







255 A 23 10 1. 22 0.454







256 A 22 9 1. 19 0.474







257 A 22 9 1. 22 0.409







258 A 22 9 1. 22 0.409







259 A 4 4 1. 20 0.2







260 A 4 4 1. 22 0.182







261 A 6 6 1. 22 0.273







262 A 3 3 1. 24 0.125







263 A 7 7 1. 20 0.35







264 A 4 4 1. 22 0.182







265 A 4 4 1. 22 0.182







266 A 4 4 1. 24 0.167







267 A 6 6 1. 37 0.162







268 A 4 3 1. 35 0.086







269 A 5 5 1. 34 0.147







270 A 6 6 1. 37 0.162







271 A 5 5 1. 37 0.135







272 A 6 6 1. 37 0.162







273 A 3 2 1. 25 0.08







274 A 2 1 1. 25 0.04







275 A 3 2 1. 23 0.087







276 A 2 1 1. 22 0.045







277 A 3 2 1. 25 0.08







278 A 2 1 1. 25 0.04







279 A 3 2 1. 25 0.08







280 A 4 3 1. 25 0.12







281 A 4 3 1. 25 0.12







282 A 4 3 1. 25 0.12







283 A 3 3 1. 22 0.136







284 A 3 3 0.97 25 0.12







285 A 4 3 1. 25 0.12







286 A 4 3 1. 25 0.12







287 A 4 3 1. 25 0.12







288 A 5 4 1. 25 0.16







289 A 5 4 1. 25 0.16







290 A 4 4 1. 25 0.16







291 A 3 3 1. 22 0.136







292 A 4 4 0.98 25 0.16







293 A 5 3 1. 25 0.12







294 A 5 4 1. 25 0.16







295 A 7 6 1. 27 0.222







296 A 7 6 1. 27 0.222







297 A 7 6 1. 27 0.222







298 A 7 6 1. 27 0.222







299 A 7 7 1. 25 0.28







300 A 7 6 1. 27 0.222







301 A 7 6 1. 27 0.222







302 A 7 6 1. 27 0.222







303 A 6 3 1. 27 0.111







304 A 6 3 1. 27 0.111







305 A 6 3 1. 27 0.111







306 A 6 3 1. 27 0.111







307 A 6 3 1. 24 0.125







308 A 6 3 1. 27 0.111







309 A 6 3 1. 27 0.111







310 A 19 12 1. 31 0.387







311 A 8 7 1. 29 0.241







312 A 7 6 1. 29 0.207







313 A 7 6 1. 27 0.222







314 A 9 6 1. 29 0.207







315 A 21 8 1. 29 0.276







316 A 17 9 1.46 29 0.31







317 A 13 8 1.42 29 0.276







318 A 7 6 1.23 26 0.231







319 A 8 7 1. 29 0.241







320 A 7 6 1. 29 0.207







321 A 13 9 1. 29 0.31







322 A 9 7 1. 29 0.241







323 A 8 6 1. 29 0.207







324 A 8 7 1. 27 0.259







325 A 14 8 1. 29 0.276







326 A 24 9 1. 29 0.31







327 A 19 9 1.89 29 0.31







328 A 12 7 1.41 26 0.269







329 A 13 10 1. 29 0.345







330 A 13 9 1. 29 0.31







331 A 15 9 1. 29 0.31







332 A 7 6 1. 29 0.207







333 A 6 5 1. 29 0.172







334 A 3 3 1. 27 0.111







335 A 7 4 1. 29 0.138







336 A 10 5 1. 29 0.172







337 A 4 4 1. 29 0.138







338 A 3 3 1. 29 0.103







339 A 3 3 1. 26 0.115







340 A 6 6 1. 29 0.207







341 A 7 7 1. 29 0.241







342 A 7 6 1. 29 0.207







343 A 5 5 1. 29 0.172







344 A 5 5 1. 29 0.172







345 A 5 5 1. 27 0.185







346 A 11 6 1. 29 0.207







347 A 15 7 1. 29 0.241







348 A 10 8 1.26 29 0.276







349 A 8 7 1.19 29 0.241







350 A 8 7 1.19 29 0.241







351 A 8 7 1.19 29 0.241







352 A 8 7 1.19 26 0.269







353 A 15 10 1.38 29 0.345







354 A 7 5 1. 29 0.172







355 A 7 5 1. 29 0.172







356 A 6 5 1. 29 0.172







357 A 5 4 1. 27 0.148







358 A 8 6 1. 29 0.207







359 A 10 7 0.97 29 0.241







360 A 13 7 1. 29 0.241







361 A 10 7 1. 29 0.241







362 A 9 6 1. 29 0.207







363 A 11 6 1. 26 0.231







364 A 8 5 1. 29 0.172







365 A 12 7 1. 29 0.241







366 A 15 7 1. 29 0.241







367 A 7 5 1. 29 0.172







368 A 6 5 1. 27 0.185







369 A 8 6 1. 29 0.207







370 A 10 7 1. 29 0.241







371 A 17 9 1. 29 0.31







372 A 16 8 1. 29 0.276







373 A 13 7 1. 26 0.269







374 A 16 8 1.66 29 0.276







375 A 19 10 1. 29 0.345







376 A 7 5 1. 29 0.172







377 A 6 5 1. 29 0.172







378 A 5 4 1. 27 0.148







379 A 8 6 1. 29 0.207







380 A 8 6 1. 29 0.207







381 A 9 6 1. 29 0.207







382 A 8 5 1. 29 0.172







383 A 9 5 1. 26 0.192







384 A 8 5 1. 29 0.172







385 A 8 6 1. 25 0.24







386 A 17 7 1. 29 0.241







387 A 13 7 1. 29 0.241







388 A 10 6 1. 29 0.207







389 A 6 3 1. 29 0.103







390 A 5 3 1. 26 0.115







391 A 9 5 1. 29 0.172







392 A 11 6 1. 29 0.207







393 A 14 6 1. 29 0.207







394 A 14 7 1.45 29 0.241







395 A 8 5 1. 29 0.172







396 A 8 5 1. 29 0.172







397 A 8 5 1. 26 0.192







398 A 12 8 1.36 29 0.276







399 A 15 8 1.54 29 0.276







400 A 6 3 1. 29 0.103







401 A 5 3 1. 27 0.111







402 A 5 3 1. 27 0.111







403 A 5 3 1. 27 0.111







404 A 5 3 1. 25 0.12







405 A 8 5 1. 27 0.185







406 A 9 5 1. 27 0.185







407 A 12 8 1. 27 0.296







408 A 10 6 1. 27 0.222







409 A 6 3 1. 27 0.111







410 A 5 3 1. 24 0.125







411 A 10 6 1. 27 0.222







412 A 12 6 1. 27 0.222







413 A 5 5 1.1 28 0.179